URL PR 15542
Status merged
Title bpo-37936: Remove some .gitignore rules that were intended locally.
History
Date User Action Args
2019-08-27 18:16:33Greg Pricesetstatus: open -> merged
2019-08-27 05:34:27Greg Pricelinkissue37936 pull_requests
2019-08-27 05:34:27Greg Pricecreate