> On 8 May 2025, at 08:36, Noboru Saito <noboru...@gmail.com> wrote: > > Hi, > > Previously, both "AT TIME ZONE" and "AT LOCAL" were wrapped in a > single <literal> tag, which was incorrect. > This patch separates them into two distinct <literal> tags for better > semantic correctness.
Thanks for the patch, it looks correct to me so I will apply it in a bit. -- Daniel Gustafsson