Re: Tom Lane 2019-10-10 <10247.1570731...@sss.pgh.pa.us> > OK, done.
Thanks, that made quite a few QA pipeline jobs happy here. Christoph
Re: Tom Lane 2019-10-10 <10247.1570731...@sss.pgh.pa.us> > OK, done.
Thanks, that made quite a few QA pipeline jobs happy here. Christoph