Am Montag, den 31.08.2020, 18:48 -0400 schrieb Bruce Momjian:> > So confirmed.> > > Patch applied through 13.
Thanks!