Merge Master back in editor-revision-2024-04-24#731

Merged

tschmidtb51 merged 6 commits intoeditor-revision-2024-04-24from master

May 22, 2024

+262-1

Commits on Apr 23, 2024

Commits on Apr 24, 2024

Signatures

tschmidtb51
and
santosomar
committed
Signatures

tschmidtb51
and
sthagen
committed

Commits on May 12, 2024

Merge pull request #724 from tschmidtb51/valid-signatures
santosomar
authored
Merge pull request #714 from oasis-tcs/editor-revision-2024-03-27
santosomar
authored