On Sun, Apr 15, 2012 at 11:15 AM, Thomas Gries <mail(a)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 :-)
--
http://palnatoke.org * @palnatoke * +4522934588