Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update atomicops.h #117

Merged
merged 1 commit into from Sep 23, 2022
Merged

Update atomicops.h #117

merged 1 commit into from Sep 23, 2022

Conversation

urrsk
Copy link
Member

@urrsk urrsk commented Sep 23, 2022

Fix the url in the comment regarding POSIX semaphores to fix error in the CI

Fix the url in the comment regarding POSIX semaphores to fix error in the CI
@urrsk urrsk requested a review from fmauch September 23, 2022 11:45
@fmauch
Copy link
Collaborator

fmauch commented Sep 23, 2022

That would be an alternate (better) way of what I wanted to suppress in #108. Thanks!

Copy link
Collaborator

@fmauch fmauch left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

With https this url actually exists -> fine

@fmauch fmauch merged commit 3756e25 into master Sep 23, 2022
@fmauch fmauch deleted the urrsk-url-comment-fix branch September 23, 2022 14:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants