Update AUTHORS

refs #10449

diff --git a/AUTHORS b/AUTHORS
index 08e1d887e57e82ee43d857bc6221789cf7306d37..63a55f69e079526c923f46b6d45f2444b08a1a95 100644 (file)
--- a/AUTHORS
+++ b/AUTHORS
@@ -53,6 +53,7 @@ Matthaus Owens <matthaus@puppetlabs.com>
 Max Zhang <zhenzhan@tibco.com>
 Mhd Sulhan <ms@kilabit.info>
 Michael Friedrich <michael.friedrich@netways.de>
+Michael Kraus <michael.kraus@consol.de>
 Pall Sigurdsson <palli-github@minor.is>
 Paul Richards <paul@minimoo.org>
 Petr Ruzicka <petr.ruzicka@gmail.com>