summaryrefslogtreecommitdiff
path: root/AUTHORS
diff options
context:
space:
mode:
Diffstat (limited to 'AUTHORS')
-rw-r--r--AUTHORS1
1 files changed, 1 insertions, 0 deletions
diff --git a/AUTHORS b/AUTHORS
index b4c30e3..c70f557 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -46,6 +46,7 @@ Minor contributors (<= 30 commits, sorted alphabetically):
* Oliver Smith <oliver@zerolag.com>
* Paolo Abeni <pabeni@redhat.com>
* Peter Stuge <peter@stuge.se>
+ * Petr Machata <petrm@mellanox.com>
* Reiner Herrmann <reiner@reiner-h.de>
* Ronald W. Henderson <rwhalb@nycap.rr.com>
* Scott Moeller <electronjoe@gmail.com>