Re: CI: 3 FAIL, 1 ERROR

Gavin Smith <[email protected]> Wed, 27 May 2026 18:51:59 +0100
Newsgroups gmane.comp.tex.texinfo.bugs
Message-ID <ahcvP7SLfpICLrq7@orangestar>
On Wed, May 27, 2026 at 07:34:56PM +0200, Patrice Dumas wrote:
> On Wed, May 27, 2026 at 04:58:14PM +0100, Gavin Smith wrote:
> > > What about not uppercasing in that case either?  Setting
> > > USE_UNICODE_COLLATION=0 is likely to be rare, and choosen for speed in
> > > cases where the sort order is not so important.
> > 
> > I'm happy with that, as it's probably fairly rare for users to set
> > USE_UNICODE_COLLATION=0, and it would be less necessary to speed up
> > the program.
> 
> Just to be clear, you mean that you prefer that the keys are still
> uppercased with USE_UNICODE_COLLATION=0?

No, I'm happy with your proposal not to uppercase the keys at all.