[INFRA] Close stale PRs.

Closes #20587
Closes #20586
This commit is contained in:
Marcelo Vanzin 2018-02-15 07:47:40 -08:00
parent 44e20c4225
commit f217d7d9b2

Diff content is not available