1 files changed, 6 insertions, 0 deletions
diff --git a/Changelog b/Changelog
index 89551a2..8a278a3 100644
--- a/Changelog
+++ b/Changelog
@@ -1,3 +1,9 @@
+Release 1.12.1, 2013-01-29
+==========================
+
+Ported to Coq 8.4pl1.  Otherwise functionally identical to release 1.12.
+
+
 Release 1.12, 2013-01-11
 ========================