House cleaning: close old pull requests.

Closes #5400
Closes #5408
Closes #5423
Closes #5668
Closes #6757
Closes #6745
Closes #6613
This commit is contained in:
Reynold Xin 2015-12-30 18:54:03 -08:00
parent c642c3a210
commit 93b52abca7

Diff content is not available