Christoph Berg Fri, 11 Oct 2019 11:54:51 -0700
Re: Tom Lane 2019-10-10 <[email protected]> > OK, done.
Thanks, that made quite a few QA pipeline jobs happy here. Christoph