Update AUTHORS file

diff --git a/AUTHORS b/AUTHORS
index cb30645426461b941dda102bbb6e533630b66199..ab0f9bd98d2ce550363fc9a45e9ddaa7ede98b32 100644 (file)
--- a/AUTHORS
+++ b/AUTHORS
@@ -248,6 +248,7 @@ Matthias Drochner <M.Drochner@fz-juelich.de>
 Maurizio Vairani <maurizio.vairani@cloverinformatica.it>
 Melissa O'Neill <oneill@cs.sfu.ca>
 Michael Arnoldus <chime@proinf.dk>
+Michael Fox <mfox@cavium.com>
 Michael Smith <msmith@spinnakernet.com>
 Michael Spertus <mps@geodesic.com>
 Michel Schinz <schinz@alphanet.ch>