[proxy] bugs.python.org — ← back | site home | direct (HTTPS) ↗ | proxy home | ◑ dark◐ light
➜

This issue tracker has been migrated to GitHub, and is currently read-only.
For more information, see the GitHub FAQs in the Python's Developer Guide.

URL PR 13965
Status merged
Title bpo-37219: Remove errorneous optimization for differencing an empty set
History
Date User Action Args
2019-06-11 08:15:26rhettingersetstatus: open -> merged
2019-06-11 06:27:58rhettingerlinkissue37219 pull_requests
2019-06-11 06:27:58rhettingercreate