Update Changelog

n-osborne · May 17, 2024 · b81c394 · b81c394
1 parent b08293c
commit b81c394
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,3 +1,8 @@
+# 0.3.0
+
+- Add support for custom ghost types as model
+  [\#228](https://github.com/ocaml-gospel/ortac/pull/228)
+
 # 0.2.0
 
 - Make `--help` and `--version` work even without any plugins installed