On 1/30/19, 8:21 PM, "Michael Paquier" <mich...@paquier.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
