> On 1 Sep 2022, at 13:49, Ekaterina Kiryanova <e.kiryan...@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 patch to 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/
