Message335201
Yes, these days PRs are the only way to get anything done. Before
GitHub it would have been possible to just commit the small diff
directly to master. |
|
Date |
User |
Action |
Args |
2019-02-11 08:34:11 | skrah | set | recipients:
+ skrah, mark.dickinson, ikelly, ezio.melotti, docs@python, tuomas.suutari, sir-sigurd, xtreak, LorenzMende, bdbaraban |
2019-02-11 08:34:10 | skrah | set | messageid: <1549874050.22.0.540780258749.issue23460@roundup.psfhosted.org> |
2019-02-11 08:34:10 | skrah | link | issue23460 messages |
2019-02-11 08:34:10 | skrah | create | |
|