Commitdee920a840was merged into Weblate's repository, but later replaced on main by2167ce9656. This led to a merge conflict, which this commit fixes cleanly. After merging, we can unlock Weblate again.
Commitdee920a840was merged into Weblate's repository, but later replaced on main by2167ce9656. This led to a merge conflict, which this commit fixes cleanly. After merging, we can unlock Weblate again.