[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Relating multiple index entries to one table item
From: |
Arsen Arsenović |
Subject: |
Re: Relating multiple index entries to one table item |
Date: |
Sat, 26 Nov 2022 21:02:49 +0100 |
Patrice Dumas <pertusus@free.fr> writes:
> This should be fixed by
> https://git.savannah.gnu.org/cgit/texinfo.git/commit/?id=3ae7857e9f958386864f5ad4b7536ae50a130c8b
Ah, thanks. I already tried to send this patch in, but apparently that
failed and I never noticed. Can confirm it does fix the issue.
--
Arsen Arsenović
signature.asc
Description: PGP signature
- Re: Relating multiple index entries to one table item, (continued)
- Re: Relating multiple index entries to one table item, Patrice Dumas, 2022/11/22
- Re: Relating multiple index entries to one table item, Patrice Dumas, 2022/11/22
- Re: Relating multiple index entries to one table item, Gavin Smith, 2022/11/23
- Re: Relating multiple index entries to one table item, Arsen Arsenović, 2022/11/23
- Re: Relating multiple index entries to one table item, Patrice Dumas, 2022/11/23
- Re: Relating multiple index entries to one table item, Gavin Smith, 2022/11/26
- Re: Relating multiple index entries to one table item, Patrice Dumas, 2022/11/26
- Re: Relating multiple index entries to one table item, Arsen Arsenović, 2022/11/26
- Re: Relating multiple index entries to one table item, Patrice Dumas, 2022/11/26
- Re: Relating multiple index entries to one table item, Patrice Dumas, 2022/11/26
- Re: Relating multiple index entries to one table item,
Arsen Arsenović <=
- Re: Relating multiple index entries to one table item, Patrice Dumas, 2022/11/23
- Re: Relating multiple index entries to one table item, Patrice Dumas, 2022/11/24
- Re: Relating multiple index entries to one table item, Gavin Smith, 2022/11/26
- Re: Relating multiple index entries to one table item, Patrice Dumas, 2022/11/26
- Re: Relating multiple index entries to one table item, Patrice Dumas, 2022/11/26
- Re: Relating multiple index entries to one table item, Gavin Smith, 2022/11/26
- Re: Relating multiple index entries to one table item, Gavin Smith, 2022/11/26
- Re: Relating multiple index entries to one table item, Arsen Arsenović, 2022/11/26
- Re: Relating multiple index entries to one table item, Eli Zaretskii, 2022/11/27
- Re: Relating multiple index entries to one table item, Arsen Arsenović, 2022/11/27