From 1ac1c1dc1bebcd53528d5779e19d098429b8195e Mon Sep 17 00:00:00 2001 From: Patrick Wendell <patrick@databricks.com> Date: Mon, 19 Jan 2015 02:05:24 -0800 Subject: [PATCH] MAINTENANCE: Automated closing of pull requests. This commit exists to close the following pull requests on Github: Closes #3584 (close requested by 'pwendell') Closes #2433 (close requested by 'pwendell') Closes #1697 (close requested by 'pwendell') Closes #4042 (close requested by 'pwendell') Closes #3723 (close requested by 'pwendell') Closes #1560 (close requested by 'pwendell') Closes #3515 (close requested by 'pwendell') Closes #1386 (close requested by 'pwendell') -- GitLab