Authors: new contributor.

diff --git a/Documentation/included/authors.itexi b/Documentation/included/authors.itexi
index 296416b5a6237eefc8a26a74285ef468d82a4dbf..6d03ccabf4d43590f54050309007fa28a2ead056 100644 (file)
--- a/Documentation/included/authors.itexi
+++ b/Documentation/included/authors.itexi
@@ -150,6 +150,7 @@ Core developer, Schemer extraordinaire
 
 Sven Axelsson,
 Pál Benkő,
+Bertrand Bordage,
 Frédéric Bron,
 Hajo Dezelski,
 Richard Gay,