On Mon, Aug 31, 2020 at 06:48:53PM -0400, Bruce Momjian wrote:> Patch applied through 13.
Thanks.--Michael