[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Texinfo translation error, texinfo_document domain
From: |
Gavin Smith |
Subject: |
Re: Texinfo translation error, texinfo_document domain |
Date: |
Tue, 1 Nov 2022 17:56:04 +0000 |
On Tue, Nov 01, 2022 at 12:47:17PM +0100, Patrice Dumas wrote:
> On Tue, Nov 01, 2022 at 01:26:49AM +0100, Bruno Haible wrote:
> > With this, most of the confusion should be gone. Thanks!!
>
> I tried to be clearer in the following commit (which may need to be
> revised):
> https://git.savannah.gnu.org/cgit/texinfo.git/commit/?id=dd02e93ab701f7d7c9d2dcb9783241af9307afa5
I've discussed the change with Patrice and we've made some changes since
that commit.