Michael Paquier <michael(at)paquier(dot)xyz> writes:
> This has fallen through the cracks and conchuela has failed again
> today, so I went ahead and applied the fix on HEAD. Thanks!
Thanks! I'd intended to push that but it didn't get to the
top of the to-do queue yet. (I'm still kind of wondering why
only conchuela has failed to date.)
regards, tom lane