In some point between 18:38 and 19:05 h UTC, 2014-05-01, something happened that caused my bot ( https://tools.wmflabs.org/guc/?user=Jembot ) to get just "+\" as edit token when requested, after being succesfully logged in, causing it to edit just anonymously. Other bots in es.wikipedia seem to run without any problems. After asking in #wikimedia-tech, it seems that http://en.wikipedia.org/w/api.php?action=tokens&format=json also showing "+\" isn't correct either. Thanks in advance.
Version: 1.24rc
Severity: major