Tomas Vondra <tomas.vondra@2ndquadrant.com> writes:
> OK, I've pushed a fix - this should make the buildfarm happy again.
Well, it's *less* unhappy. thorntail is showing that the number of
workers field is not stable; that will need to be masked.
regards, tom lane