doc: Remove duplicate copyright line.

Looks like the conflicts in 1b0ce83 weren't fixed completely correctly. * fibers.texi: Do it.
wingo · Sep 9, 2023 · 46685fa · 46685fa
1 parent 5865502
commit 46685fa
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/fibers.texi b/fibers.texi
@@ -14,7 +14,6 @@ This manual is for Fibers (version @value{VERSION}, updated
 @noindent
 Copyright 2016-2023 Andy Wingo@*
 Copyright 2021, 2023 Maxime Devos@*
-Copyright 2021, 2023 Maxime Devos@*
 Copyright 2022, 2023 Aleix Conchillo Flaqué
 
 @quotation