On Sun, May 19, 2019 at 11:05:22AM -0400, Tom Lane wrote:
> I'm going to push this revert in a few minutes (as soon as I get done
> with local sanity testing). At this point, an extra 8 or 10 hours
> makes a significant difference in how many of the slower buildfarm
> critters will have reported in by Monday.
Thanks for doing that before I was able to come back, the reverted
version looks fine to me.
--
Michael