Update FAQ.

doc/FAQ

@@ -1,7 +1,7 @@
 
                 Frequently Asked Questions (FAQ) for PostgreSQL
                                        
-   Last updated: Wed May 30 19:00:33 EDT 2001
+   Last updated: Sat Jun 9 10:40:33 EDT 2001
    
    Current maintainer: Bruce Momjian (pgman@candle.pha.pa.us)
    
@@ -234,7 +234,7 @@
    
     1.7) What is the latest release?
     
-   The latest release of PostgreSQL is version 7.1.1.
+   The latest release of PostgreSQL is version 7.1.2.
    
    We plan to have major releases every four months.
    

doc/src/FAQ/FAQ.html

@@ -12,7 +12,7 @@
   alink="#0000FF">
     <H1>Frequently Asked Questions (FAQ) for PostgreSQL</H1>
 
-    <P>Last updated: Wed May 30 19:00:33 EDT 2001</P>
+    <P>Last updated: Sat Jun  9 10:40:33 EDT 2001</P>
 
     <P>Current maintainer: Bruce Momjian (<A href=
     "mailto:pgman@candle.pha.pa.us">pgman@candle.pha.pa.us</A>)<BR>
@@ -312,7 +312,7 @@
 
     <H4><A name="1.7">1.7</A>) What is the latest release?</H4>
 
-    <P>The latest release of PostgreSQL is version 7.1.1.</P>
+    <P>The latest release of PostgreSQL is version 7.1.2.</P>
 
     <P>We plan to have major releases every four months.</P>