David Fussner <[email protected]> writes:

> That all looks good to me, many thanks.

Thanks.  I pushed that change as well.  Again, many thanks for your
contribution, and for coding the xref backend.

Best, Arash

Reply via email to