mirror of
https://github.com/irmen/prog8.git
synced 2025-01-11 13:29:45 +00:00
5731b79554
In certain cases you will need to use string.copy() explicitly to overwrite strings with new strings.