[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Make output of texinfo index deterministic
|
From: |
Chris Lamb |
|
Subject: |
Re: Make output of texinfo index deterministic |
|
Date: |
Sun, 28 Jun 2015 23:57:40 +0100 |
> I forward you the patch by Chris Lamb (in Cc) in case you consider it worth
> including.
(Probably not needed here but just in case it helps I have signed the
GNU copyright assignment under address@hidden / address@hidden)
Regards,
--
,''`.
: :' : Chris Lamb
`. `'` address@hidden / chris-lamb.co.uk
`-