The Wayback Machine - https://web.archive.org/web/20230218220415/https://github.com/rawpython/remi/pulls
Skip to content

Pull requests: rawpython/remi

Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Python3.6 trio asynchronous version of server ...
#335 opened Sep 1, 2019 by kostyll Loading…
Update gui.py
#319 opened Jun 20, 2019 by cetus1 Loading…
deactivate and hide widgets
#315 opened Jun 9, 2019 by cetus1 Loading…
Update gui.py
#218 opened Apr 17, 2018 by saddy001 Loading…
Adding more custom dialogs: Error dialog
#203 opened Nov 29, 2017 by int-0 Loading…
Https and SIGINT handling
#201 opened Nov 12, 2017 by tetofonta Loading…
C9
#200 opened Nov 11, 2017 by dirkcgrunwald Loading…
ProTip! Filter pull requests by the default branch with base:master.