From 46685fab293b94246b6a5b453f4e2d2346404038 Mon Sep 17 00:00:00 2001
From: Maxime Devos <maximedevos@telenet.be>
Date: Sat, 9 Sep 2023 12:37:32 +0200
Subject: [PATCH] doc: Remove duplicate copyright line.

Looks like the conflicts in 1b0ce83f95247b0d8e6774a91e6b25e982eac443
weren't fixed completely correctly.

* fibers.texi: Do it.
---
 fibers.texi | 1 -
 1 file changed, 1 deletion(-)

diff --git a/fibers.texi b/fibers.texi
index afea22e..f0c82cf 100644
--- 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