CHANGELOG for r1

2018-10-10 22:42:58 -05:00 · 2018-10-10 22:42:58 -05:00 · e4674f756c
parent b060e38932
commit e4674f756c
1 changed files with 2 additions and 0 deletions
--- 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`