On Wed, Dec 11, 2019 at 12:10 AM Hans Hagen wrote:
On 12/11/2019 12:03 AM, luigi scarso wrote:
I guess that we have to check if catcodetable -1 is already defined...
i already sent you a patch, probbaly also ok for trunk
Committed revision 7235.
--
luigi
