Glyn Astill <glynastill@yahoo.co.uk> writes:
> Apologies Tom, I missed this; opossum is running one of its infrequent build runs now.
Thanks! I've pushed something I think will fix it, so please launch
another HEAD run, if you're scheduling that manually.
regards, tom lane