Minutes of today's call

Hi all,

today, we had our first weekly call.

Thanks a lot to Ruben Taelman for scribing, and my apologies to him, 
because my poor skills at driving RRSAgent led to very ugly minutes... 
But they are here, nonetheless:


If anyone knows of a trick to "patch" the IRC log in order to clean them 
up, I'll buy.


Received on Saturday, 14 November 2020 08:13:30 UTC