On 11/13/2012 6:51 AM, Andrei Alexandrescu wrote:
I think that's a great idea. I'm not a frequent user of our Wiki, but e.g. for DIPs it's nice to have a better engine. I don't see why Walter would oppose a change.
I don't oppose a change. But would mediawiki be better (the one used by Wikipedia)?
