From e394ba2b9f52c0e5ad43f2ae815c6a790e118d15 Mon Sep 17 00:00:00 2001 From: Nicolas Osborne Date: Thu, 23 May 2024 15:50:00 +0200 Subject: [PATCH] Update Changelog --- CHANGES.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/CHANGES.md b/CHANGES.md index b580a53c..a5598c68 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,5 +1,7 @@ # 0.3.0 +- Move to a module-based configuration + [\#214](https://github.com/ocaml-gospel/ortac/pull/214) - Add support for custom ghost types as model [\#228](https://github.com/ocaml-gospel/ortac/pull/228)