Skip to content

Conversation

@Pennycook
Copy link
Contributor

Cherry pick #723 from main
(cherry picked from commit 505a2b6)

Cherry pick KhronosGroup#723 from main
(cherry picked from commit 505a2b6)
@Pennycook
Copy link
Contributor Author

Merging because the WG already approved #723.

@Pennycook Pennycook merged commit c768657 into KhronosGroup:sycl-2020 Mar 21, 2025
3 checks passed
@Pennycook Pennycook deleted the cherry-pick-723 branch March 21, 2025 09:36
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