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>