On Wed, Nov 21, 2018 at 12:03:48AM -0500, Tom Lane wrote:
> Andrew Gierth <andrew@tao11.riddles.org.uk> writes:
>> Tom: I can take this one if you want?
>
> It's my bug, I'll take care of it (but not before tomorrow).
Thanks Tom. I was looking at that a bit today as I am also involved in
this story. But as you plan to finish wrapping it, I'll just withdraw.
--
Michael