> On 23 Sep 2020, at 18:11, Jonathan S. Katz <jkatz(at)postgresql(dot)org> wrote:> On 9/23/20 12:05 PM, Magnus Hagander wrote:
>> Yeah, +1, sounds like an improvement. > > Agreed. Committed and pushed.
Thanks!