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`