[galaxy-user] irc channel for galaxy

Hey guys, Is there an irc channel for galaxy? I googled for "galaxy irc" but all I see in the first fifty results are entries for the samsung galaxy (which is an excellent phone ;) Best Regards, ---- George Marselis, systems administrator Building #2, Level 4, room 4327 Computational Bioscience Research Center, KAUST Land: +966-2-808-2944, Mobile: +966-56-321-7714, Skype: project2501a