On 1/30/19, 8:21 PM, "Michael Paquier" <michael(at)paquier(dot)xyz> wrote:
> Fixed and committed. So we are finally done here, except for the
> debate with the relation size.
Thanks for the diligent reviews, as always. I don't plan to pick up
--min-relation-size right now, but I may attempt it again in a future
commitfest.
Nathan