URL PR 16840
Status merged
Title bpo-38521: Fix error in NormalDist.__eq__()
History
Date User Action Args
2019-10-18 21:20:37rhettingersetstatus: open -> merged
2019-10-18 20:59:34rhettingerlinkissue38521 pull_requests
2019-10-18 20:59:34rhettingercreate