From 87738bfa4051771ddfb8c4a4c1eb142fd77e3a46 Mon Sep 17 00:00:00 2001 From: Patrick Wendell Date: Sat, 2 Aug 2014 01:26:16 -0700 Subject: [PATCH] MAINTENANCE: Automated closing of pull requests. This commit exists to close the following pull requests on Github: Closes #706 (close requested by 'pwendell') Closes #453 (close requested by 'pwendell') Closes #557 (close requested by 'tdas') Closes #495 (close requested by 'tdas') Closes #1232 (close requested by 'pwendell') Closes #82 (close requested by 'pwendell') Closes #600 (close requested by 'pwendell') Closes #473 (close requested by 'pwendell') Closes #351 (close requested by 'pwendell')