From 662cdde3b779c9bfa622602cfade4173bfc1a075 Mon Sep 17 00:00:00 2001
From: Nicolas Osborne <nicolas.osborne@tarides.com>
Date: Thu, 28 Mar 2024 18:06:03 +0100
Subject: [PATCH] Update Changelog

This feature replaces and removes the `--include` optional argument
---
 CHANGES.md | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/CHANGES.md b/CHANGES.md
index 6d1327b5..d26a363e 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,3 +1,8 @@
+# 0.3.0
+
+- Move to a module-based configuration
+  [\#214](https://github.com/ocaml-gospel/ortac/pull/214)
+
 # 0.2.0
 
 - Make `--help` and `--version` work even without any plugins installed
@@ -10,8 +15,6 @@
   [\#198](https://github.com/ocaml-gospel/ortac/pull/198)
 - Add support for type invariants
   [\#197](https://github.com/ocaml-gospel/ortac/pull/197)
-- Add an include option to qcheck-stm cli
-  [\#181](https://github.com/ocaml-gospel/ortac/pull/181)
 - Add a quiet flag
   [\#179](https://github.com/ocaml-gospel/ortac/pull/179)
 - Check for out of scope variables