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.