On Fri, Jul 19, 2019 at 02:56:34PM -0400, Tom Lane wrote:
> I'm not quite convinced whether that will silence the warning, but
> at least it's a bit less unreadable.
Thanks for working with upstream on this. From what I can see,
woodlouse & friends do not complain anymore.
--
Michael