From 047ff573f7e2d5f1320f8e8121e185ffebee61e0 Mon Sep 17 00:00:00 2001 From: Patrick Wendell <pwendell@gmail.com> Date: Sat, 29 Nov 2014 00:24:35 -0500 Subject: [PATCH] MAINTENANCE: Automated closing of pull requests. This commit exists to close the following pull requests on Github: Closes #3451 (close requested by 'pwendell') Closes #1310 (close requested by 'pwendell') Closes #3207 (close requested by 'JoshRosen') -- GitLab