<html><head></head><body><div>Thanx. Merged.</div><div><br></div><div>Greetinx</div><div><br></div><div>Chris</div><div><br></div><div><br></div><div><br></div><div>Am Samstag, den 01.08.2020, 12:49 +0200 schrieb Michael Balzer:</div><blockquote type="cite"><pre>Fixed.
Regards,
Michael
Am 01.08.20 um 11:45 schrieb Michael Balzer:
<blockquote type="cite">
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.
</blockquote>
</pre></blockquote></body></html>