1 files changed, 3 insertions, 0 deletions

diff --git a/AUTHORS b/AUTHORS
index fe0966b8..da5a19f1 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -106,3 +106,6 @@
 
 * Philipp Middendorf <philipp.middendorf@desy.de>
   Gitlab continuous integration
+
+* Nicholas Devenish <ndevenish@gmail.com>
+  Build system bug fixing