On Sun, Apr 15, 2012 at 11:15 AM, Thomas Gries mail@tgries.de wrote:
see open issue https://bugzilla.wikimedia.org/show_bug.cgi?id=14950 and the bugs marked as duplicates to it. Global preferences importance = high
Thanks. I'll just sit over in the corner impatiently, then :-)