From 2f13816b57dfc251c649341e69dee4a43ee369d1 Mon Sep 17 00:00:00 2001 From: Pierrot Date: Fri, 6 Oct 2023 10:55:29 +0200 Subject: [PATCH] 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\