Editor revision for TC meeting 2024-10-30#819

Merged

tschmidtb51 merged 49 commits intomasterfrom editor-revision-2024-10-30

Nov 18, 2024

+3,703-708

Commits on Oct 17, 2024

Commits on Oct 24, 2024

Commits on Oct 25, 2024

Commits on Oct 29, 2024

Not convinced, but grammatically correct ;-)
sthagen
authored

Commits on Nov 3, 2024