Update changelog. Refs #245.

ivanperez-keera · ivanperez-keera · commit 54655400b5d0 · 2021-08-16T15:19:16.000-04:00
diff --git a/lib/copilot-theorem/CHANGELOG b/lib/copilot-theorem/CHANGELOG
@@ -1,7 +1,7 @@
-2021-08-12
+2021-08-16
         * Update travis domain in README. (#222)
         * Remove unused type U2. (#91)
-        * Update official maintainer. (#236)
+        * Update official maintainer. (#236, #245)
 
 2021-07-07
         * Version bump (3.4). (#231)
