Re: Tom Lane 2019-10-10 <[email protected]>
> OK, done.

Thanks, that made quite a few QA pipeline jobs happy here.

Christoph


Reply via email to