diff --git a/AUTHORS.in b/AUTHORS.in index 6e6eaaec35..b0a11b4e5f 100644 --- a/AUTHORS.in +++ b/AUTHORS.in @@ -10,6 +10,7 @@ The primary maintainers and people with commit access rights: Alex Jia Andrea Bolognani Cédric Bosdonnat +Christian Ehrhardt Christophe Fergeau Claudio Bley Cole Robinson @@ -60,7 +61,6 @@ Amit Shah Andrew Puch Anton Protopopov Ben Guthro -Christian Ehrhardt Daniel Hokka Zakrisson Dan Wendlandt David Lively