Duplicate dirty line with getLines
It could happen that dirty lines became duplicated if they already exist on the server side.
I think the best will be to not fetch them if there are any unsaved lines.
This instance will be upgraded to Heptapod 1.3.1 (GitLab 16.9.3) on 2023-03-28 at 17:00 UTC+1
It could happen that dirty lines became duplicated if they already exist on the server side.
I think the best will be to not fetch them if there are any unsaved lines.