Bug in savepoints getting fixed

It looks like this bug finally got some attention, and a patch is queued.

http://bugs.mysql.com/bug.php?id=38187

In brief, the bug happens when you alternate and reuse names of savepoints. Quoting from the bug page:

InnoDB treats the savepoints like a stack, e.g.,    SAVEPOINT a;   SAVEPOINT b;   SAVEPOINT c;   SAVEPOINT b; <- Will delete c too