[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Ampersands not handled properly in index (TeX output)
|
From: |
Gavin Smith |
|
Subject: |
Re: Ampersands not handled properly in index (TeX output) |
|
Date: |
Mon, 26 Aug 2019 18:38:32 +0100 |
On Mon, Aug 26, 2019 at 4:15 PM Didier Verna <address@hidden> wrote:
> Thanks for the fast reaction. BTW, which repo is that? I cannot find
> such a commit in either of these repositories:
>
> https://git.savannah.gnu.org/git/texinfo.git
> git://git.savannah.gnu.org/gnulib.git
That was my mistake; it should be there now.