Message257666
I do prefer extra space before a comment, otherwise it looks too much like some kind of “x # y” binary operator. So I think those changes are worthwhile.
I left some review comments, mainly minor suggestions. Most of the other changes look worthwhile. Others I don’t mind either way, but I can understand others may prefer them, such as lining up hanging indents for fixed-width fonts.
David: did you end up looking this? Are there any particular bits you think are not worth it? |
|
Date |
User |
Action |
Args |
2016-01-07 01:44:45 | martin.panter | set | recipients:
+ martin.panter, r.david.murray, docs@python, berker.peksag, serhiy.storchaka, jedwards |
2016-01-07 01:44:45 | martin.panter | set | messageid: <1452131085.83.0.644204275974.issue23921@psf.upfronthosting.co.za> |
2016-01-07 01:44:45 | martin.panter | link | issue23921 messages |
2016-01-07 01:44:45 | martin.panter | create | |
|