Merge branch 'master' into fix/issue-1675

This commit is contained in:
Willi Ballenthin
2023-08-02 14:49:32 +02:00
committed by GitHub

2
rules

Submodule rules updated: bd14f146d3...7685a232d9