Bruce Momjian <bruce(at)momjian(dot)us> writes:
> I believe TODO and TODO.html files should now be removed from CVS.
+1. Leaving them in CVS would just result in confusion.
It might make sense to leave TODO still in the file set, but reduce its
content to a pointer to the wiki page.
regards, tom lane