On Wed, Jul 18, 2018 at 05:42:40PM -0400, Tom Lane wrote:
> Hearing nobody speaking in favor of the other alternatives,
> I've removed the test.
I had this problem running in the background for a couple of days, but I
could not come up with a solution cleaner than just removing the test.
Thanks for doing so.
--
Michael