Message265004
I agree with you. But right now, it seems parsing short options and allow_abbrev both rely on the same logic. If you turn off allow_abbrev, short options parsing also disabled. Separating them seems nontrivial. |
|
Date |
User |
Action |
Args |
2016-05-06 17:51:41 | xiang.zhang | set | recipients:
+ xiang.zhang, bethard, berker.peksag, meinersbur |
2016-05-06 17:51:41 | xiang.zhang | set | messageid: <1462557101.21.0.209768229311.issue26967@psf.upfronthosting.co.za> |
2016-05-06 17:51:41 | xiang.zhang | link | issue26967 messages |
2016-05-06 17:51:41 | xiang.zhang | create | |
|