On Thu, Feb 3, 2022 at 7:08 PM John Naylor <john.nay...@enterprisedb.com> wrote: > Is this a TODO candidate? What would be a succinct title for it?
I definitely think that it's worth working on. I suppose it follows that it should go on the TODO list. -- Peter Geoghegan
