Comments - Time Zones
Content reproduced on this site is the property of its respective owners,
and this content is not reviewed in advance by MariaDB. The views, information and opinions
expressed by this content do not necessarily represent those of MariaDB or any other party.
Quite right, sorry your comment was missed. MDEV-27113 was raised and we'll edits the docs here and offer a compatible SQL file.