On Fri, 21 Aug 2020 at 02:25, Andres Freund <andres(at)anarazel(dot)de> wrote:> David, sounds good, after adapting to Abhijit's concerns.
Thank you both for having a look. Now pushed.
David