String reboot - (1a) incidental whitespace

John Rose john.r.rose at
Thu Apr 18 23:33:25 UTC 2019

On Apr 18, 2019, at 10:08 AM, Liam Miller-Cushon <cushon at> wrote:
> Putting non-blank text on that first line is effectively an opt-out

+1  I think that would be a reasonable design move.
It's a bit ugly but it's learnable.

(Putting in \0040 for a not-to-be-stripped space is
also ugly but learnable.)

More information about the amber-spec-experts mailing list