From 39ff8cfaa4c0d90bfcd1f2a4a21f6bd498faec93 Mon Sep 17 00:00:00 2001 From: Markus Teich Date: Wed, 29 Jun 2016 15:19:15 +0200 Subject: [PATCH] alphabetic ordering is apparently out --- AUTHORS | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/AUTHORS b/AUTHORS index f79c2ed..be76920 100644 --- a/AUTHORS +++ b/AUTHORS @@ -1,2 +1,2 @@ -Christian Grothoff Markus Teich +Christian Grothoff