Comment 34 for bug 405116

Though I got errors on my upload attempts the package made it to the server. So you will also get the fix applied fully automatically if you update as usual in some hours.