Message258210
I've thought about this too, and I've decided it's a feature. As Antoine says, it's easy enough to filter the dot files out if you don't want them; it's slightly complicated to include them if the default is to skip them. |
|
Date |
User |
Action |
Args |
2016-01-14 18:32:44 | gvanrossum | set | recipients:
+ gvanrossum, pitrou, jitterman |
2016-01-14 18:32:44 | gvanrossum | set | messageid: <1452796364.51.0.607670719811.issue26096@psf.upfronthosting.co.za> |
2016-01-14 18:32:44 | gvanrossum | link | issue26096 messages |
2016-01-14 18:32:44 | gvanrossum | create | |
|