history notes for 6.12

This commit is contained in:
Matthew Flatt 2018-01-12 15:15:44 -07:00
parent 87192caa57
commit a35633ec36

View File

@ -1,3 +1,6 @@
Version 6.12, January 2018
Bug repairs and other changes noted in the documentation
Version 6.11, October 2017
Bug repairs and other changes noted in the documentation