v1.3.0: Reduction
Closed Aug 13, 2018
100% complete
Perform next steps towards making universum smaller. Deprecate everything we agreed to remove that is unlikely to cause much pain to users. Removal will happen in 1.4.0.
This milestone is closed.
No open issues remain. View closed issues or see open milestones in this repository.