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

Hello,

I've downloaded the update to 1.23.5 and the version number doesn't increase to 1.23.5. I've also ran /maintenance/update.php, but the version number still stays at 1.23.4. Is there an error in the update? Have I done something wrong? Updates in the past always worked well!

Thanks

Best regards

Christian