Skip to content

Conversation

@RossBrunton
Copy link
Contributor

We don't need it, and this saves a repo fetch and some compile time.

We don't need it, and this saves a repo fetch and some compile time.
@RossBrunton RossBrunton requested a review from a team as a code owner November 20, 2024 15:21
@github-actions github-actions bot added the common Changes or additions to common utilities label Nov 20, 2024
@RossBrunton RossBrunton merged commit 3609cd6 into oneapi-src:main Nov 21, 2024
76 checks passed
@RossBrunton RossBrunton deleted the ross/nol0loader branch November 26, 2024 14:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

common Changes or additions to common utilities

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants