Create 0.12.0 release
Closed Oct 9, 2013
100% complete
After the merge of 2.063.2 the remaining bugs should be fixed and a new release created. :-)
This milestone is closed.
No open issues remain. View closed issues or see open milestones in this repository.