On Tue, Oct 29, 2019 at 1:09 PM Andres Freund <and...@anarazel.de> wrote: > Comments?
I think that this is a good idea. I see no downside. -- Peter Geoghegan
On Tue, Oct 29, 2019 at 1:09 PM Andres Freund <and...@anarazel.de> wrote: > Comments?
I think that this is a good idea. I see no downside. -- Peter Geoghegan