THANKS: add Eric Murphy

He reported #11850 (quiche build error) but I forgot to add a
'reported-by' entry in the fix 267e14f1.

diff --git a/docs/THANKS b/docs/THANKS
index a8a4d6a1b56bc246ef535f0afa4ff1383e5af8b6..90a8533de4860a18b3741648fb2742098f80e42f 100644 (file)
--- a/docs/THANKS
+++ b/docs/THANKS
@@ -814,6 +814,7 @@ Eric Lavigne
 Eric Lubin
 Eric Melville
 Eric Mertens
+Eric Murphy
 Eric Musser
 Eric Rautman
 Eric Rescorla