From b81c3946672e65ec23e2eeffccafac1adaaed5b3 Mon Sep 17 00:00:00 2001 From: Nicolas Osborne Date: Fri, 17 May 2024 17:09:32 +0200 Subject: [PATCH] Update Changelog --- CHANGES.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/CHANGES.md b/CHANGES.md index 6d1327b5..b580a53c 100644 --- 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