Merge master

This commit is contained in:
Pieter Vander Vennet 2023-09-01 18:40:56 +02:00
commit 7705aa3360
58 changed files with 947 additions and 523 deletions

View file

@ -327,7 +327,6 @@ In the case that MapComplete is pointed to the testing grounds, the edit will be
enumerable: false,
configurable: true,
get: () => {
console.trace("Property", name, "got requested")
init().then((r) => {
delete object[name]
object[name] = r