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:

https://www.w3.org/2020/11/13-rdf-star-minutes.html 
<https://www.w3.org/2020/11/13-rdf-star-minutes.html>

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

   best