No problemo.
Can't say for sure it is a software issue. You connection may have died during the upgrade.
I know for myself more than once I have found problems during a upgrade only to find that the file in question was 0 bytes. So just re uploading the file fixed it.
Just fyi all the settings are in one file config.inc.php.
So when upgrading, the software has to upgrade the file if needed.
