diff --git a/share/misc/committers-src.dot b/share/misc/committers-src.dot index 7636b66f243f..4891f2ced65b 100644 --- a/share/misc/committers-src.dot +++ b/share/misc/committers-src.dot @@ -384,6 +384,7 @@ peter -> asmodai peter -> jayanth peter -> ps +philip -> ed philip -> jls philip -> matteo