0.12.0
Closed Apr 11, 2018
100% complete
Current development version.
PRs marked with this milestone should merge into branch master (the default).
In January 2018 we changed the release date from Jan 2018 to Feb 2018.
This milestone is closed.
No open issues remain. View closed issues or see open milestones in this repository.