Message302620
The PR contains all the requested features, as well as mutual deletion (requested on PR page), and I have separated out the options for mutual deletion triggered by delete or triggered by backspace. I've found in usage that it was irritating to have both, but nice to only have one. Let users pick one, both, or none. |
|
Date |
User |
Action |
Args |
2017-09-20 14:19:39 | wohlganger | set | recipients:
+ wohlganger, terry.reedy, taleinat, THRlWiTi, louielu |
2017-09-20 14:19:39 | wohlganger | set | messageid: <1505917179.25.0.319292376973.issue18875@psf.upfronthosting.co.za> |
2017-09-20 14:19:39 | wohlganger | link | issue18875 messages |
2017-09-20 14:19:39 | wohlganger | create | |
|