14 Jun
2017
14 Jun
'17
11:13 a.m.
On 14.06.2017 13:01, Olaf van der Spek via Boost wrote:
On Wed, Jun 14, 2017 at 12:55 PM, Asbjørn via Boost
I think it would greatly increase the chance of someone mistakenly sending private mails to the list. That's not an issue with the github mail address.
Why not? If you reply it ends up in the public issue tracker.
In that case it has the same issue, one which I'd consider a defect. YMMV. Regards - Asbjørn