]> granicus.if.org Git - gc/commitdiff
Update AUTHORS file
authorIvan Maidanski <ivmai@mail.ru>
Tue, 12 Feb 2019 20:28:33 +0000 (23:28 +0300)
committerIvan Maidanski <ivmai@mail.ru>
Tue, 12 Feb 2019 20:28:33 +0000 (23:28 +0300)
AUTHORS

diff --git a/AUTHORS b/AUTHORS
index 8e173385020ac1405471d1c132ba0db501926f63..8a3748ec9cbfccc2eb54f9768c78ccd0ad4d7117 100644 (file)
--- a/AUTHORS
+++ b/AUTHORS
@@ -280,6 +280,7 @@ Melissa O'Neill <oneill@cs.sfu.ca>
 Michael Arnoldus <chime@proinf.dk>
 Michael DeRoy <deroymichael@gmail.com>
 Michael Fox <mfox@cavium.com>
+Michael Herring <khakionion@gmail.com>
 Michael Smith <msmith@spinnakernet.com>
 Michael Spertus <mps@geodesic.com>
 Michel Schinz <schinz@alphanet.ch>