Hi, On Mon, Nov 04, 2019 at 08:23:58PM +0000, Adam D. Barratt wrote: > On Sat, 2019-11-02 at 15:41 +0100, Rene Engelhard wrote: > > I think we should fix #943873 in stable since even though stable has > > PostgreSQL 11 people might use it against some other server having > > 12... > > > > Please go ahead. Uploaded, thanks. Regards, Rene