On Mon, Feb 9, 2009 at 7:06 PM, George Herbert george.herbert@gmail.com wrote:
The main mediawiki server and DB do the right thing with @ symbols, but the user rights tools can't. There's a user on english wikipedia with one of those, it's a known issue.
Sorry, are you saying it's not possible to desysop User:@pple@enwiki using the stewards' tool?
—C.W.