Skip to content

Fix for issue 5#6

Merged
neboat merged 2 commits intoOpenCilk:dev/9.xfrom
neboat:dev/beta2-issue5
Jun 30, 2020
Merged

Fix for issue 5#6
neboat merged 2 commits intoOpenCilk:dev/9.xfrom
neboat:dev/beta2-issue5

Conversation

@neboat
Copy link
Collaborator

@neboat neboat commented Jun 30, 2020

No description provided.

@neboat neboat merged commit a7a31ff into OpenCilk:dev/9.x Jun 30, 2020
@wheatman wheatman mentioned this pull request Jul 21, 2020
arvid220u referenced this pull request in arvid220u/opencilk-project Apr 7, 2021
@wheatman wheatman mentioned this pull request Jan 7, 2022
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.

1 participant