On Thu, Jul 26, 2018 at 7:33 PM, Michael Paquier <mich...@paquier.xyz> wrote: > The maintenance load is not high as well, so I see no real point in > removing it, and that it would likely make people using it unhappy.
Why, specifically, would it make them unhappy? -- Peter Geoghegan
