GitHub issues created and ready for comment

06 Mar 2019
Groups audience: 

Dear members of the Working Group,
As announced, we have created several issues on GitHub
[1] based
on the discussion at the online meetings on 21 and 22 February. You are
welcome to comment on these issues and create more issues for discussion by
the Working Group.
We're looking forward to your contributions!
Makx Dekkers