diff options
-rw-r--r-- | share/misc/committers-ports.dot | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/share/misc/committers-ports.dot b/share/misc/committers-ports.dot index e5761eb33d05..9359ac955b07 100644 --- a/share/misc/committers-ports.dot +++ b/share/misc/committers-ports.dot @@ -213,6 +213,7 @@ pat [label="Patrick Li\npat@FreeBSD.org\n2001/11/14"] pav [label="Pav Lucistnik\npav@FreeBSD.org\n2003/11/12"] pawel [label="Pawel Pekala\npawel@FreeBSD.org\n2011/03/11"] pclin [label="Po-Chien Lin\npclin@FreeBSD.org\n2013/02/11"] +pfg [label="Pedro Giffuni\npfg@FreeBSD.org\n2019/04/14"] pgj [label="Gabor Pali\npgj@FreeBSD.org\n2009/04/12"] pgollucci [label="Philip M. Gollucci\npgollucci@FreeBSD.org\n2008/07/21"] philip [label="Philip Paeps\nphilip@FreeBSD.org\n2005/10/19"] @@ -727,6 +728,7 @@ tcberner -> pkubaj thierry -> jadawin thierry -> riggs +thierry -> pfg timur -> kbowling |