Skip to content

Commit

Permalink
MAINTENANCE. Cleaning up stale PRs.
Browse files Browse the repository at this point in the history
Closing the following PRs due to requests or unresponsive users.

Closes #13923
Closes #14462
Closes #13123
Closes #14423 (requested by srowen)
Closes #14424 (requested by srowen)
Closes #14101 (requested by jkbradley)
Closes #10676 (requested by srowen)
Closes #10943 (requested by yhuai)
Closes #9936
Closes #10701
Closes #10474
Closes #13248
Closes #14347
Closes #10356
Closes #9866
Closes #14310 (requested by srowen)
Closes #14390 (requested by srowen)
Closes #14343 (requested by srowen)
Closes #14402 (requested by srowen)
Closes #14437 (requested by srowen)
Closes #12000 (already merged)
  • Loading branch information
Marcelo Vanzin committed Aug 4, 2016
1 parent d91c675 commit 53e766c
Showing 0 changed files with 0 additions and 0 deletions.

0 comments on commit 53e766c

Please sign in to comment.