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