update changelog

Jack Feser · Jack Feser · commit 5ba00045dce4 · 2022-01-28T11:25:55.000-05:00
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,3 +1,7 @@
+## 1.4 (2022-01-28)
+
+ - Update to work with `odoc` 2.02.
+
 ## 1.3.1 (2020-04-13)
 
  - Add missing dependencies.
