From 498f17bb8b6b3be25a52ea0845a78c337ee93cf8 Mon Sep 17 00:00:00 2001 From: Greg Farnum Date: Mon, 14 Jan 2019 13:28:39 -0800 Subject: [PATCH] .githubmap: remove erroneous jlayton entry He's jtlayton on github! Signed-off-by: Greg Farnum --- .githubmap | 1 - 1 file changed, 1 deletion(-) diff --git a/.githubmap b/.githubmap index ef1b0bfbe7b3a..ec43dfc7632c2 100644 --- a/.githubmap +++ b/.githubmap @@ -40,7 +40,6 @@ jan--f Jan Fajerski jcsp John Spray jdurgin Josh Durgin jecluis João Eduardo Luís -jlayton Jeff Layton joscollin Jos Collin jtlayton Jeff Layton ktdreyer Ken Dreyer