Am 23.06.2019 um 19:01 schrieb Artur Tarassow:
Am 22.06.19 um 07:58 schrieb Cottrell, Allin:
> This should be fixed in git and snapshots.
Thank you, Allin. Works fine now!
If we weren't in the middle of the summer I'd be wondering whether this
crash bug should trigger a quicker version release than usual - I know,
2019b is just a month old...
cheers
sven