Update AUTHORS

refs #10449

diff --git a/AUTHORS b/AUTHORS
index 6281da8c12cc6b3516159629adffa5d2f73ca386..80f1804e272bc721b9d5c4894b127aa29bef4830 100644 (file)
--- a/AUTHORS
+++ b/AUTHORS
@@ -54,6 +54,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>