Update changelog.

Jack Feser · Jack Feser · commit 32dfdd8aeae0 · 2020-04-13T15:30:34.000-04:00
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,3 +1,8 @@
+## 1.3.1 (2020-04-13)
+
+ - Add missing dependencies.
+ - Add flag to select Odig theme.
+
 ## 1.3 (2019-07-25)
 
  - Update to work with latest `odoc`.
