OK, thankful that https://bugzilla.wikimedia.org/show_bug.cgi?id=17677 is fixed now. Sorry for the panicky bug report, I was probably afraid that tomorrow there would be a security alert "upgrade now!", but I wouldn't be able to upgrade until the bug was fixed.