On Tue, Oct 29, 2019 at 1:09 PM Andres Freund <[email protected]> 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 <[email protected]> wrote: > Comments?
I think that this is a good idea. I see no downside. -- Peter Geoghegan