Andy Wingo writes: > On Mon 13 Mar 2017 18:09, Arne Babenhauserheide <arne_...@web.de> writes: > >> ERROR: In procedure string: >> ERROR: In procedure string: Wrong type (expecting character): #<eof> > > Fixed, I think. Thanks for the report.
That’s awesome! Thank you! Best wishes, Arne PS: I did not test the fix, yet.