Re: "July" missing from datetime.c - Mailing list pgsql-patches

> template1=# insert into foobar values('11:23 Sunday, July 1, 2001 EDT');
> ERROR:  Bad timestamp external representation '11:23 Friday, July 7, 2000 EDT'
> (Just one line added, so I've inlined the patch)
>         {"jul", MONTH, 7},
> +       {"july", MONTH, 7},
>         {"julian", UNITS, JULIAN},

Got it, thanks. I'll commit a fix in the next day or so. Note that this
table *must* be strictly ordered to allow the optimized table lookup to
work. So, you should place "july" after "julian", not before.

                  - Thomas