On Thu, Jan 31, 2013 at 7:12 PM, Andrew Otto <otto(a)wikimedia.org> wrote:
Ah, no I mean change the future ones back to their
original names. We'd leave the ones that are being generated as '.tab.' now
as they are. We could see these filenames in the archives.
But! If everybody loves '.tab.', forever, that's fine with me too!
I really don't like .tab.