You asked about an IRC channel. No, we do not have one, but you can reach us on several social media channels.
-- Petri Krohn (talk) 16:16, 30 August 2013 (UTC)
We have updated to MediaWiki 1.32.0.
Please report any and all issues on our Phabricator.
Read more on our Facebook page