diff options
Diffstat (limited to 'share/misc/committers-src.dot')
| -rw-r--r-- | share/misc/committers-src.dot | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/share/misc/committers-src.dot b/share/misc/committers-src.dot index 7636b66..4891f2c 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 |
