Skip to content

Fix Wundefined-var-template clang warning#992

Merged
manopapad merged 1 commit intonv-legate:branch-23.09from
manopapad:undefined-var-again
Jul 20, 2023
Merged

Fix Wundefined-var-template clang warning#992
manopapad merged 1 commit intonv-legate:branch-23.09from
manopapad:undefined-var-again

Conversation

@manopapad
Copy link
Copy Markdown
Contributor

This fix was added in 9de32a0, but got dropped in #903.

@manopapad manopapad added the category:task PR is a simple task and will not be included in release notes label Jul 19, 2023
@manopapad manopapad requested a review from magnatelee July 19, 2023 19:53
@manopapad manopapad merged commit 1d62db3 into nv-legate:branch-23.09 Jul 20, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

category:task PR is a simple task and will not be included in release notes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants