Sun, 18 Aug 2024 18:23:18 +0200IDE: remove warning if editing location leads to no change
Edouard Tisserant <edouard.tisserant@gmail.com> [Sun, 18 Aug 2024 18:23:18 +0200] rev 3970
IDE: remove warning if editing location leads to no change