URL PR 15451
Status merged
Title bpo-37936: Avoid ignoring files that we actually do track.
History
Date User Action Args
2019-09-09 09:34:52Greg Pricesetstatus: open -> merged
2019-08-24 07:30:06Greg Pricelinkissue37936 pull_requests
2019-08-24 07:30:06Greg Pricecreate