From 1f98add92675eb34c80be9bd7d10ea4608a9a6c2 Mon Sep 17 00:00:00 2001 From: Patrick Wendell <pwendell@gmail.com> Date: Mon, 1 Sep 2014 19:25:54 -0700 Subject: [PATCH] MAINTENANCE: Automated closing of pull requests. This commit exists to close the following pull requests on Github: Closes #1696 (close requested by 'pwendell') Closes #1384 (close requested by 'pwendell') Closes #845 (close requested by 'pwendell') Closes #81 (close requested by 'pwendell') Closes #1528 (close requested by 'pwendell') Closes #1018 (close requested by 'pwendell') -- GitLab