Merge master into openapi#1665

Merged

bkoelman merged 3 commits intoopenapifrom

merge-master-into-openapi

Jan 4, 2025

Commits on Jan 4, 2025

Breaking: rename relaxed form of Atomic Operations extension from "atomic-operations" to "atomic" for consistency (#1664)
bkoelman
authored
Merge branch 'master' into merge-master-into-openapi
bkoelman
committed
Post-merge fixes
bkoelman
committed