Pre_Dagstuhl
Past due by 8 months
100% complete
A Milestone to collect what we want to have sorted out before the Dagstuhl seminar.
There are no open issues in this milestone.
Add issues to milestones to help organize your work for a particular release or project.
Create new issueOr find and add issues with no milestone in this repo.