Merge pull request 'Corrected semaphore host affiny patching' (#30) from dev into main

Reviewed-on: #30
This commit was merged in pull request #30.
This commit is contained in:
2026-04-12 12:32:36 +02:00