v1.3
Closed Jun 22, 2019
100% complete
Bugfixes and improvements over v1.2 (no major additions)
This milestone is closed.
No open issues remain. View closed issues or see open milestones in this repository.