alvherre(at)postgresql(dot)org (Alvaro Herrera) writes:
> Reword Win32 rint() item, per Tom.
Just FYI, I believe that TODO.html is the master file not TODO.
Whichever it is, you need to update both or your changes are likely
to be lost in Bruce's next commit.
regards, tom lane