Update FAQ_DEV.

diff --git a/doc/src/FAQ/FAQ_DEV.html b/doc/src/FAQ/FAQ_DEV.html
index 0a6063b35446e032e57209db1febd31812ba1979..0286ec144cc0a34aa8aab8ff927a34274c54475e 100644 (file)
--- a/doc/src/FAQ/FAQ_DEV.html
+++ b/doc/src/FAQ/FAQ_DEV.html
@@ -12,7 +12,7 @@
     Developer's Frequently Asked Questions (FAQ) for
     PostgreSQL
 
-    Last updated: Tue Nov 27 20:20:21 EST 2001
+    Last updated: Tue Nov 27 20:38:06 EST 2001
 
     
     Current maintainer: Bruce Momjian (