diff --git a/AUTHORS b/AUTHORS index ee510abc52..578a377803 100644 --- a/AUTHORS +++ b/AUTHORS @@ -30,6 +30,7 @@ The primary maintainers and people with commit access rights: Michal Prívozník Peter Krempa Christophe Fergeau + Alex Jia Previous maintainers: Karel Zak @@ -182,7 +183,6 @@ Patches have also been contributed by: Guannan Ren John Williams Michael Santos - Alex Jia Oskari Saarenmaa Nan Zhang Wieland Hoffmann