CoraCool: Clean up thread-safety annotations.
Compare changes
GitLab service scheduled maintenance on Friday, March 21st 2025 as of 08h00 Geneva time for an estimated period of 1 hour. Further information under OTG0154918.
Clean up some thread-safety annotations that are no longer needed now that races in COOL have been fixed.