On Wed, Apr 3, 2013 at 3:12 PM, Ryan Lane <rlane32(a)gmail.com> wrote:
The proposal is to move non-MediaWiki documentation
our of
mediawiki.orginto a more generically named wiki. The proposal isn't
for migrating all of
mediawiki.org.
Thanks for the clarification. Sorry to confuse the discussion on that
point.
Steven