Re: [Wikitech-l] http://dumps.wikimedia.org went off