Skip to content

Conversation

@gmlueck
Copy link
Contributor

@gmlueck gmlueck commented Aug 7, 2025

Cherry pick #837 from main
(cherry picked from commit 9e31f3a)

Cherry pick KhronosGroup#837 from main
(cherry picked from commit 9e31f3a)
@gmlueck
Copy link
Contributor Author

gmlueck commented Aug 7, 2025

Merging as the WG already approved #837

@gmlueck gmlueck merged commit 740cf89 into KhronosGroup:sycl-2020 Aug 7, 2025
3 checks passed
@gmlueck gmlueck deleted the gmlueck/cherry-pick-837 branch August 7, 2025 19:44
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