On Wed, Feb 01, 2023 at 12:48:12PM +0000, Ihor Radchenko wrote: > Greg Minshall <minsh...@umich.edu> writes: > > >> 2022-11-12 12:00 @Asia/Singapore # tzdb syntax > > > > aesthetically, allowing a space after the "@" sign might be nice. i > > don't know what that would do to the parsing/BNF/whatever. > > [2022-11-12 12:00 @Asia/Singapore] vs. [2022-11-12 12:00 @ Asia/Singapore] > > Either way is possible. > I am in favour of my variant though :)
Same with me. I read @ as a sigil [1] Cheers [1] https://en.wikipedia.org/wiki/Sigil_(computer_programming) -- t
signature.asc
Description: PGP signature
