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.

classification
Title: random module does not have type hints
Type: enhancement Stage: resolved
Components: Versions:
process
Status: closed Resolution: rejected
Dependencies: Superseder:
Assigned To: Nosy List: nikvaes
Priority: normal Keywords: patch

Created on 2020-04-11 23:21 by nikvaes, last changed 2022-04-11 14:59 by admin. This issue is now closed.

Pull Requests
URL Status Linked Edit
PR 19480 closed nikvaes, 2020-04-11 23:22
History
Date User Action Args
2022-04-11 14:59:29adminsetgithub: 84439
2020-04-12 01:28:26rhettingersetstatus: open -> closed
resolution: rejected
stage: patch review -> resolved
2020-04-11 23:22:43nikvaessetkeywords: + patch
stage: patch review
pull_requests: + pull_request18834
2020-04-11 23:21:45nikvaescreate