Robert Haas <robertmh...@gmail.com> writes: > Also, let's delete the TODO list. People keep using it as a source of > project ideas, and that's bad.
If we're not going to maintain/curate it properly, I agree it's not
worth keeping it around. But I'd rather see somebody put some effort
into it ...
regards, tom lane
