URL PR 16602
Status merged
Title bpo-38210: Remove intersection operation with empty set
History
Date User Action Args
2019-10-06 11:28:34corona10setstatus: open -> merged
2019-10-06 06:21:50corona10linkissue38210 pull_requests
2019-10-06 06:21:50corona10create