MAINTENANCE. Cleaning up stale PRs.#14495

Closed

vanzin wants to merge 1 commit intoapache:masterfrom

vanzin:github-cleanup

Commits on Aug 4, 2016

MAINTENANCE. Cleaning up stale PRs.
Marcelo Vanzin
committed