On Fri, Feb 8, 2019 at 11:13 PM Edmund Horner <ejrh00(at)gmail(dot)com> wrote:> I have some comments on the comments:
Seems reasonable to me.
Where are we on this? I'd like to get the patch committed soon.
--Peter Geoghegan