mysql time-zone ambiguity?

[Kurt Hackenberg]

On 2021/03/26 14:11, Bruce Ferrell wrote:

> The thing that ALWAYS works for setting the time zone is to manually set 
> it as the offset and never use symbolics in the options file:
> 
> default-time-zone='+0700'

That doesn't look like it handles daylight saving time.