Round `TimeWithTimeZone` when `supportsParametricDateTime` is `false`#14950

Merged

martint merged 3 commits intotrinodb:masterfrom

mdesmet:bug/sqltime-not-rounded

Nov 9, 2022

Commits on Nov 8, 2022

Commits on Nov 9, 2022

Round `TimeWithTimeZone` when `supportsParametricDateTime` is `false`
mdesmet
committed