Servoy 2023.12.2

Hi,

With java -jar servoy_updater.jar -releaseNumber 3924 the Application Server is updated. How do you update the Developer to the same version?