From db667614ef90a3f758f81f9fe48c3e12ad671805 Mon Sep 17 00:00:00 2001
From: "Thomas G. Lockhart" <lockhart@fourpalms.org>
Date: Fri, 21 Dec 2001 06:03:27 +0000
Subject: [PATCH] Add full name of the month of July to the lookup table.
 Thanks to Greg Sabino Mullane <greg@turnstep.com> for finding the problem.

---
 src/backend/utils/adt/datetime.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/backend/utils/adt/datetime.c b/src/backend/utils/adt/datetime.c
index 5cef74e2c5..aff8f86249 100644
--- 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