4D Backup und Sommerzeit

Product :4D - 4D Server v17.0 HF3
OS : Windows

Hallo Liste
Wir hatten mit allen Servern ein Problem mit dem Backup vom Sonntag Abend (31.03.2019).
Das Backup ist so konfigurierte, dass es um 23:30 Uhr starten soll.
Offenbar kann 4D mit der Sommerzeitumstellung nicht umgehen. Ich vermute, dass 4D intern wie folgt rechnet:
30.03.2019 - 23:30 + 24h +1h (Sommerzeit). Folglich kommt 4D zum Schluss, dass das nächste Backup erst am 01.04.2019 laufen muss.
Bei einigen Testservern war das Backup auf 22:30 eingestellt. Diese haben das Backup am 31.03.2019 korrekt ausgeführt.

Mir scheint, dass 4D hier noch etwas anpassen sollte. Zumindest müsste im Handbuch ein Hinweis stehen, dass bei der Sommerzeitumstellung diese Probleme auftauchen können.
Haben andere ähnliche Erfahrungen mit dem Backup Scheduler von 4D gemacht?

Bei uns mit 4D Server v15 Windows ebenfalls.
Schedule-Zeit ist bei uns täglich 20:01 Uhr

Screenshot vom Sonntag 20:10 Uhr:

[]29207380;""[/]

Aber ob sich das noch lohnt, den Bug zu beheben?