11 Dec
2019
11 Dec
'19
10:57 a.m.
On Wed, Dec 11, 2019 at 12:10 AM Hans Hagen
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