Le lun. 29 oct. 2018 à 22:44, Claudio Jeker <cje...@diehard.n-r-g.com> a écrit : > > This is a problem of the parser. Use "42" with the quotes to make the > number a string. Or use a non-digit label (as you figured out already).
Thanks Claudio, this is a handy workaround.
