On Sat, Jan 11, 2020 at 4:25 AM Tomas Vondra
<[email protected]> wrote:
> Understood. Is that a reason to not commit of this patch now, though?

It could use some polishing. Are you interested in committing it?

-- 
Peter Geoghegan


Reply via email to