From bf8e723969625f2a4dfc34fb5b230dbcc3684825 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Mon, 16 Mar 2015 12:42:12 +0100
Subject: [PATCH] needed to convert pl_sshd

---
 scripts/git-AUTHORS | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/scripts/git-AUTHORS b/scripts/git-AUTHORS
index 19c24c5..966ee99 100644
--- a/scripts/git-AUTHORS
+++ b/scripts/git-AUTHORS
@@ -49,4 +49,7 @@ tmitchell = Tom Mitchell <tmitchel@bbn.com>
 valas = Vytautas Valancius <valas@gatech.edu>
 xcuvellier = Xavier Cuvellier <Xavier.Cuvellier@lip6.fr>
 mchaoui = mchaoui
+sjm = Steve Muir <smuir@cs.princeton.edu>
+sjm-pl_sshd = Steve Muir <smuir@cs.princeton.edu>
+mlh-pl_sshd = Mark Huang <mlhuang@cs.princeton.edu>
 (no author) = Planet-Lab Support <support@planet-lab.org>
-- 
2.43.0