Am 22.10.2022 um 14:57 schrieb Cottrell, Allin:
On Fri, Oct 21, 2022 at 8:22 PM Federico Fiorani <> wrote:
Dear all,
Gretl on my Windows crashes running this script

strings s = null
s += "text"
s -= "text"
Thanks for the report, Federico. That should now be fixed in git, with
snapshots to follow shortly.

Thanks, Allin, but after Artur's intervention it's not clear to me whether "-=" is officially supported or not? And if it is (for which I'm not pushing), would it remove all occurrences or just the first one?