From ee91eb8c53da84f8875fb5cec5820a6e189057b9 Mon Sep 17 00:00:00 2001 From: Matei Zaharia Date: Tue, 26 Aug 2014 19:29:54 -0700 Subject: [PATCH] Manually close some old pull requests Closes #530, Closes #223, Closes #738, Closes #546