I followed the regular update procedure.
Made full backup, of course, including database.
Deactivated plugins.
Copied over all the files, ran wp-admin/upgrade.php
Activated plugins.
Works fine as far as I can tell, ‘cept this little bug. I just deactivated my plugins, but still get the same thing.
I will debug it and let you know what is causing it …
Cheers.