Tomas Vondra <[email protected]> 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
