From e4674f756caff83680f1ad43f06aa843773ebb20 Mon Sep 17 00:00:00 2001 From: Brent Yorgey Date: Wed, 10 Oct 2018 22:42:58 -0500 Subject: [PATCH] CHANGELOG for r1 --- CHANGELOG.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index b450f49..2edb1ae 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -2,3 +2,5 @@ - Allow `base-4.11` - Add `Semigroup Element` instance + +- r1 (10 Oct 2018): allow `base-4.12`