On Friday, July 20, 2018 at 11:12:26 AM UTC+2, Chris Angelico wrote:
On Fri, Jul 20, 2018 at 5:10 PM, Grégory Lielens
<gregory...@gmail.com> wrote:

Excuse me, that wasn't my words you quoted. Watch your citations please :)

ChrisA


Yes, sorry, it was Brendan Barnwell. And I can not edit my previous post....:-/