On Wed, Feb 27, 2013 at 2:54 PM, Petr Bena benapetr@gmail.com wrote:
Okay, but this whole discussion is not much about new channel, but about current #wikimedia-dev
so let's get back to the original idea. What about making #wikimedia-dev some universal place for wikimedia devs of all sorts? Not just #mediawiki devs and so, but also bot devs, tool devs etc... that's what gry meant
I have no problem with this.
-Chad