Chris Howard <chris@elfpen.com> writes:
> I looked at the TODO list and saw the issue of using comma to delimit
> fractional seconds. ...
> Is there anything more to it than allowing HH:MM:SS,####### as well as
> HH:MM:SS.##### ?
Here's the thing: most of the easy-looking stuff on the TODO list is
there because there's not actually consensus about how or whether
to do it.
In the case at hand, what you'd need to convince people of is that
there's not a significant penalty in terms of robustness (error
detection) if we allow commas to substitute for periods. There's
a bunch of existing use-cases that depend on commas being noise,
so it's not obvious that this is OK.
regards, tom lane