Running this manually seemed to fix it, so I set up a cron job to run
date -k
at 04:00 each day, which would be well after DST changes but still early in the day.
Running this manually seemed to fix it, so I set up a cron job to run
date -k
at 04:00 each day, which would be well after DST changes but still early in the day.