On Tue, 10 Jul 2018 19:44:51 +0200, Paul Rolland wrote: >On Tue, 10 Jul 2018 15:42:49 +0200 Colin Leroy wrote: >> I've unsubscribed him and banned him from re-subscribing. > >Just when it was getting funny.... ;) :D