From 085f510ae554e2739a38ee0bc7210c4ece902f3f Mon Sep 17 00:00:00 2001
From: Andrew Or <andrew@databricks.com>
Date: Thu, 4 Feb 2016 11:07:06 -0800
Subject: [PATCH] MAINTENANCE: Automated closing of pull requests.

This commit exists to close the following pull requests on Github:

Closes #7971 (requested by yhuai)
Closes #8539 (requested by srowen)
Closes #8746 (requested by yhuai)
Closes #9288 (requested by andrewor14)
Closes #9321 (requested by andrewor14)
Closes #9935 (requested by JoshRosen)
Closes #10442 (requested by andrewor14)
Closes #10585 (requested by srowen)
Closes #10785 (requested by srowen)
Closes #10832 (requested by andrewor14)
Closes #10941 (requested by marmbrus)
Closes #11024 (requested by andrewor14)
-- 
GitLab