> On 1 Sep 2022, at 13:49, Ekaterina Kiryanova <e.kiryanova@postgrespro.ru> wrote:
> I noticed a difference between v13 and v14 DROP EXTENSION pages, and v14 looks better to me so I prepared a small
patchto apply to the v13 page.
That was done in commit d107e73fa8, which in turn was a fix-up to commit
ef9d0cf19c which was backpatched to v13. I agree that the fixup should be
backpatched to the same version that the original was, CC:ing John Naylor for a
second opinion on that.
--
Daniel Gustafsson https://vmware.com/