Updated CHANGES.

jgm · Feb 13, 2017 · 0e3b42f · 0e3b42f
1 parent 7d13ed6
commit 0e3b42f
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/CHANGES b/CHANGES
@@ -1,6 +1,8 @@
 Version 0.6.3.1 released 13 Feb 2017
 
 * Bump to 0.6.3.1, raise directory upper bound.
+* Fix false-positive on travis.
+* Fix bug in 'revision' for git (changes were not obtained).
 
 Version 0.6.3 released 23 Jan 2017