Thread:Project:Support desk/No update of version number in 1.23.5 update/reply

Can be deleted, I've found my error. Explorer didn't copy DefaultSettings.php correctly