From 71ec942b121b4ac48bee4c4c9e4f47c0d7c4e4a7 Mon Sep 17 00:00:00 2001 From: Pierre Villemot Date: Thu, 5 Oct 2023 18:14:47 +0200 Subject: [PATCH] Update the current authors --- src/bin/common/parse_command.ml | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/src/bin/common/parse_command.ml b/src/bin/common/parse_command.ml index fc6947dd3c..8390908ec5 100644 --- a/src/bin/common/parse_command.ml +++ b/src/bin/common/parse_command.ml @@ -1501,10 +1501,11 @@ let main = `Pre "Or you can write to: \n alt-ergo@ocamlpro.com"; `S Manpage.s_authors; `Pre "CURRENT AUTHORS\n\ - \ Sylvain Conchon\n\ - \ Albin Coquereau\n\ \ Guillaume Bury\n\ - \ Mattias Roux"; + \ Basile Clément\n\ + \ Steven de Olivera\n\ + \ Hichem Rami Ait El Hara\n\ + \ Pierre Villemot"; `Pre "ORIGINAL AUTHORS\n\ \ Sylvain Conchon\n\