Re: TeX errors with @U{0075} which is u

[Patrice Dumas]

On Sun, Jul 24, 2022 at 11:40:43PM +0200, Patrice Dumas wrote:
> Hello,
> 
> Here is a patch.  I did not do the punctuation characters/special

My patch is completly wrong...  I'll redo it.

-- 
Pat