Skip to content

Conversation

@gmlueck
Copy link
Contributor

@gmlueck gmlueck commented Apr 24, 2025

Cherry pick #800 from main
(cherry picked from commit 9b72a4b)

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

gmlueck commented Apr 24, 2025

Merging as the WG already approved #800.

@gmlueck gmlueck merged commit 796a736 into KhronosGroup:sycl-2020 Apr 24, 2025
3 checks passed
@gmlueck gmlueck deleted the gmlueck/cherry-pick-800 branch April 25, 2025 12:50
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