Skip to content

Updates for revision 12 - #1064

Merged
gmlueck merged 1 commit into
KhronosGroup:sycl-2020from
gmlueck:me/cherry-pick-1037
Oct 5, 2026
Merged

gmlueck merged 1 commit into
KhronosGroup:sycl-2020from
gmlueck:me/cherry-pick-1037

Conversation

@gmlueck

@gmlueck gmlueck commented Oct 5, 2026

Copy link
Copy Markdown
Contributor

Cherry pick #1037 from main
(cherry picked from commit da45886)

Cherry pick KhronosGroup#1037 from main
(cherry picked from commit da45886)
@gmlueck gmlueck added the editorial Some purely editorial problem label Oct 5, 2026
@gmlueck

gmlueck commented Oct 5, 2026

Copy link
Copy Markdown
Contributor Author

Merging as editorial

@gmlueck
gmlueck merged commit 8a9356f into KhronosGroup:sycl-2020 Oct 5, 2026
2 checks passed
@gmlueck
gmlueck deleted the me/cherry-pick-1037 branch October 5, 2026 02:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

editorial Some purely editorial problem

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant