diff --git a/AUTHORS b/AUTHORS index a1e3ab2794..718ecf68da 100644 Binary files a/AUTHORS and b/AUTHORS differ