On Mon, May 06, 2019 at 08:00:23PM -0700, Andres Freund wrote:
> Michael's email had a proposed patch. I think there's a few small
> changes needed, but otherwise it looks like the right direction to me.
I would not mind seeing this stuff fixed and back-patched.
--
Michael