Sun, 18 Aug 2024 18:23:18 +0200 Edouard Tisserant IDE: remove warning if editing location leads to no change