Merge branch 'master' into fix/issue-1579

This commit is contained in:
Willi Ballenthin
2023-07-10 11:57:51 +02:00
committed by GitHub

2
rules

Submodule rules updated: 82d0149217...f934f44f71