Add full name of the month of July to the lookup table.

Thanks to Greg Sabino Mullane <greg@turnstep.com> for finding the problem.

diff --git a/src/backend/utils/adt/datetime.c b/src/backend/utils/adt/datetime.c
index 5cef74e2c5a7689b5e161d92be9084c58dd3f660..aff8f862491fa32ead45f952287ff532adb2e811 100644 (file)
--- a/src/backend/utils/adt/datetime.c
+++ b/src/backend/utils/adt/datetime.c
@@ -8,7 +8,7 @@
  *
  *
  * IDENTIFICATION
- *       $Header: /cvsroot/pgsql/src/backend/utils/adt/datetime.c,v 1.81 2001/11/21 22:57:01 tgl Exp $
+ *       $Header: /cvsroot/pgsql/src/backend/utils/adt/datetime.c,v 1.82 2001/12/21 06:03:27 thomas Exp $
  *
  *-------------------------------------------------------------------------
  */
@@ -271,6 +271,7 @@ jayt
        {"jt", TZ, 45},                         /* Java Time */
        {"jul", MONTH, 7},
        {"julian", UNITS, JULIAN},
+       {"july", MONTH, 7},
        {"jun", MONTH, 6},
        {"june", MONTH, 6},
 #if 0