Re: BUG #15383: Join Filter cost estimation problem in 10.5

On Thu, Sep 24, 2020 at 05:10:26PM +1200, David Rowley wrote:
> ... putting it in a place we might one day look again might be better :-)

So am I getting correctly that you are suggesting to wipe out entirely
the existing TODO list and recreate a new one?  That works for me :p

Except for that, I don't have a better idea than creating a new page
on the wiki, like something named after planner improvements, if we
don't want to keep this stuff in the CF for now.
--
Michael