1 Aug
2020
1 Aug
'20
10:17 p.m.
Thanx. Merged. Greetinx Chris Am Samstag, den 01.08.2020, 12:49 +0200 schrieb Michael Balzer:
Fixed.
Regards, Michael
Am 01.08.20 um 11:45 schrieb Michael Balzer:
Oops… having tried a command (non-javascript) script from the web console just now: apparently there is a bug in the output processing, that currently only works on the USB console. I'll have a look at that.