Reword Win32 rint() item, per Tom.

diff --git a/doc/TODO b/doc/TODO
index a6db5de1f5778baeeda022b40d54071d6260f591..4902fa868871262943074ae9c170f205d208b7a8 100644 (file)
--- a/doc/TODO
+++ b/doc/TODO
@@ -1907,7 +1907,7 @@ Source Code
          http://archives.postgresql.org/pgsql-hackers/2008-02/msg00485.php
          http://archives.postgresql.org/pgsql-patches/2008-02/msg00038.php
 
-       o Fix port/rint.c to be spec-compliant
+       o Find a correct rint() substitute on Windows
 
          http://archives.postgresql.org/pgsql-hackers/2008-01/msg00808.php