Re: doc: add missing "id" attributes to extension packaging page

[Peter Eisentraut]

On 29.03.23 18:03, Brar Piening wrote:
On 29.03.2023 at 06:52, Hayato Kuroda (Fujitsu) wrote:
FYI - my patch is pushed

Thanks!


Could you please rebase your patch?

Done and tested. Patch is attached.

I have committed the most recent patch that added some missing IDs.  (I 
also added a missing xreflabel in passing.)

I'll look at the XSLT patch next.