Closed randallfrank closed 1 month ago
Fixed a situation where the extension.py file was different in both locations.
@mariostieriansys This is exactly the case we were afraid of. The previous PR changed the src/.../exts/.../extension.py file, but we forgot to update the exts/.../extension.py file.
Fixed a situation where the extension.py file was different in both locations.