add note about IRC

diff --git a/DEVELOPERS b/DEVELOPERS
index 6f7df4790af3e500a5452355a708c7fd952de470..ffce67a9ccb7fbc6d0952fb7e4cc43f27de190ec 100644 (file)
--- a/DEVELOPERS
+++ b/DEVELOPERS
@@ -150,4 +150,10 @@ should not be used by other developers. When development of those features is
 completed, the branches get merged in as appropriate, so no further development 
 should occur on those branches. 
 
+GETTING HELP
+------------
 
+We prefer most discussion of development to take place on the phpPgAdmin
+mailing list, so that discussions can be archived and be searchable. 
+However, if you are into IRC, a couple of us hang out on #phppgadmin on 
+freenode, and occasionally discuss things there.