diff --git a/share/misc/committers-ports.dot b/share/misc/committers-ports.dot
index 9359ac955b07..a65a3f88fe83 100644
--- a/share/misc/committers-ports.dot
+++ b/share/misc/committers-ports.dot
@@ -634,6 +634,7 @@ pgollucci -> junovitch
 pgollucci -> sunpoet
 pgollucci -> swills
 
+philip -> fox
 philip -> koitsu
 
 pi -> meta