On Sat, Jan 11, 2020 at 4:25 AM Tomas Vondra<tomas(dot)vondra(at)2ndquadrant(dot)com> 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