Done, per Simon:

< 	o Fix server restart problem when the server was shutdown during
> 	o -Fix server restart problem when the server was shutdown during

diff --git a/doc/TODO b/doc/TODO
index be67a8674aaee324bc71113d6d6143ae77a2c80d..f3b14165171b85d59ce6b22356876b0fa5c59c8a 100644 (file)
--- a/doc/TODO
+++ b/doc/TODO
@@ -1,7 +1,7 @@
 PostgreSQL TODO List
 ====================
 Current maintainer:    Bruce Momjian ([email protected])
-Last updated:      Tue Jul  1 14:26:21 EDT 2008
+Last updated:      Mon Jul 14 13:16:04 EDT 2008
 
 The most recent version of this document can be viewed at
 http://www.postgresql.org/docs/faqs.TODO.html.
@@ -193,7 +193,7 @@ Administration
 
      http://archives.postgresql.org/pgsql-hackers/2006-12/msg00497.php
 
-   o Fix server restart problem when the server was shutdown during
+   o -Fix server restart problem when the server was shutdown during
      a PITR backup
 
      http://archives.postgresql.org/pgsql-hackers/2007-11/msg00800.php

diff --git a/doc/src/FAQ/TODO.html b/doc/src/FAQ/TODO.html
index 74596997a97d7b0ffb964206692a7f29ff9cec3e..7fec07c57bc053031c3558446498cb7cc21ccc37 100644 (file)
--- a/doc/src/FAQ/TODO.html
+++ b/doc/src/FAQ/TODO.html
@@ -8,7 +8,7 @@
 
 PostgreSQL TODO List
 Current maintainer:     Bruce Momjian ([email protected])
-Last updated:           Tue Jul  1 14:26:21 EDT 2008
+Last updated:           Mon Jul 14 13:16:04 EDT 2008
 
 The most recent version of this document can be viewed at
 http://www.postgresql.org/docs/faqs.TODO.html.
@@ -173,7 +173,7 @@ first.  There is also a developer's wiki at
           postgresql.conf, including quoting
           http://archives.postgresql.org/pgsql-hackers/2006-12/msg00497.php
 
-    Fix server restart problem when the server was shutdown during
+    -Fix server restart problem when the server was shutdown during
           a PITR backup
           http://archives.postgresql.org/pgsql-hackers/2007-11/msg00800.php