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

On Thu, 24 Sep 2020 at 16:11, Michael Paquier <michael@paquier.xyz> wrote:
>
> On Thu, Sep 24, 2020 at 12:06:31AM -0400, Tom Lane wrote:
> > Well, there's a real problem here, but the patch is not pretending
> > to be committable -- as David says, it's more a starting point for
> > investigation.  It's fair to say that this isn't the sort of material
> > that should be on the CF list.  We don't have a good way to keep
> > track of "problems that should be investigated" :-(
>
> Even the TODO list?

... putting it in a place we might one day look again might be better :-)

David