From 5ba00045dce40cb0ff3fb73f59fea222fe67e0a5 Mon Sep 17 00:00:00 2001
From: Jack Feser <feser@csail.mit.edu>
Date: Fri, 28 Jan 2022 11:25:55 -0500
Subject: [PATCH] update changelog

---
 CHANGES.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/CHANGES.md b/CHANGES.md
index 3f92806..be11185 100644
--- 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.