Ok, all I have to say is: If you do not have the WordPress Automatic Upgrade plugin, go get it. The update took all of 30 seconds.
Thanks to the authors of that extremely useful piece of code.