Re: cutting down the TODO list thread

[John Naylor]

On Thu, Jul 1, 2021 at 9:23 PM Bruce Momjian <br...@momjian.us> wrote:

> Agreed.  Please remove them or I can do it.

Done, and also changed next release to "15".

--
John Naylor
EDB: http://www.enterprisedb.com