From 4c08e4a5c2cb71f50a18e88cc7c47d4f1f4dcb30 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Fri, 31 Mar 2023 11:21:06 +0200
Subject: [PATCH] Add Hichem as author

---
 dune-project | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dune-project b/dune-project
index 43df800eb..498606f4c 100644
--- a/dune-project
+++ b/dune-project
@@ -49,7 +49,7 @@
 
 
 (package (name colibri2)
-         (authors "François Bobot" "Bruno Marre" "Guillaume Bury" "Stéphane Graham-Lengrand")
+         (authors "François Bobot" "Bruno Marre" "Guillaume Bury" "Stéphane Graham-Lengrand" "Hichem Ait El Hara")
          (maintainers "François Bobot")
          (synopsis "A CP solver for smtlib")
          (description "A reimplementation of COLIBRI in OCaml")
-- 
GitLab