updated the changelog for the next version

idris-hackers · Aug 9, 2015 · 1603eb0 · 1603eb0
1 parent 6d6d45b
commit 1603eb0
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -4,6 +4,12 @@
 
 ### Added
 
+### Fixed
+
+## v.0.2.3
+
+### Added
+
 - make-with (@edwinb)
 - make-case (@edwinb)
 - make-lemma (@edwinb)