Fix spurious external change warnings#1354

Merged

jeremypw merged 4 commits intomasterfrom

fix-spurious-external-changes

Jul 24, 2023

Commits on Jul 19, 2023

Check file status async and complete before saving starts
Jeremy Wootten
committed

Commits on Jul 20, 2023

Fix lint
Jeremy Wootten
committed

Commits on Jul 21, 2023

Merge branch 'master' into fix-spurious-external-changes
zeebok
authored

Commits on Jul 24, 2023

Merge branch 'master' into fix-spurious-external-changes
Jeremy Wootten
authored