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