[01:28:30] <c>	 Reedy: i'm looking at dead channels, was #mediawiki-dev ever really used? probably better off forwarded to #mediawiki or here
[03:09:28] <legoktm>	 c: I thought TimStarling redirected it to #wikimedia-dev last year? https://phabricator.wikimedia.org/T121687
[03:10:33] <c>	 oh, well i can do that again. i joined and it was empty except for dtm_
[03:10:57] <legoktm>	 that would be appreciated, thanks
[03:11:13] <c>	 1492225866 03:11:06 [moon] -ChanServ(ChanServ@services.)- The MLOCK for #mediawiki-dev has been set to +isf.