On Wed, Apr 14, 2021 at 12:24:23AM +0200, Mark Wielaard wrote:
Thanks, that looks good and more up to date than the wiki. As soon
the website is live we should go through the wiki pages and add links
to the website.
Did I mis something?
This docuwiki plugin seems helpful for that:
I installed the goto plugin and made the above three wiki pages
Note that all these "committees" are currently completely
really should define a process on how to refresh the members.