Thread: Minor inconsistency in ref/drop_extension.sgml

Hello!

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.
Please take a look.

-- 
Ekaterina Kiryanova
Technical Writer
Postgres Professional
the Russian PostgreSQL Company

> 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/