From e7c2adfe5e6d92c6d7833011050af783e6cb13bf Mon Sep 17 00:00:00 2001 From: Pierre Villemot Date: Thu, 5 Oct 2023 18:14:47 +0200 Subject: [PATCH 1/2] Update the current authors --- src/bin/common/parse_command.ml | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/src/bin/common/parse_command.ml b/src/bin/common/parse_command.ml index fc6947dd3..7ebd49dd3 100644 --- a/src/bin/common/parse_command.ml +++ b/src/bin/common/parse_command.ml @@ -1501,11 +1501,14 @@ 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\ + \ Basile Clément\n\ + \ Steven de Olivera\n\ + \ Hichem Rami Ait El Hara\n\ + \ Pierre Villemot"; + `Pre "PREVIOUS AUTHORS\n\ + \ Albain Coquereau\n\ \ Mattias Roux"; - `Pre "ORIGINAL AUTHORS\n\ \ Sylvain Conchon\n\ \ Evelyne Contejean\n\ From 2f13816b57dfc251c649341e69dee4a43ee369d1 Mon Sep 17 00:00:00 2001 From: Pierrot Date: Fri, 6 Oct 2023 10:55:29 +0200 Subject: [PATCH 2/2] Update src/bin/common/parse_command.ml MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-authored-by: Basile Clément <129742207+bclement-ocp@users.noreply.github.com> --- src/bin/common/parse_command.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/bin/common/parse_command.ml b/src/bin/common/parse_command.ml index 7ebd49dd3..45d210154 100644 --- a/src/bin/common/parse_command.ml +++ b/src/bin/common/parse_command.ml @@ -1507,7 +1507,7 @@ let main = \ Hichem Rami Ait El Hara\n\ \ Pierre Villemot"; `Pre "PREVIOUS AUTHORS\n\ - \ Albain Coquereau\n\ + \ Albin Coquereau\n\ \ Mattias Roux"; `Pre "ORIGINAL AUTHORS\n\ \ Sylvain Conchon\n\