> On 2020-09-07 15:18 BST, Christoph Berg wrote: > > it works on a fresh machine for me, so it is likely some > > particularity of the system at your end.
Yes it was, <https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=969949> so nothing to do with postgresql as such. Thanks, -- Nick

