Skip to content

Conversation

@manopapad
Copy link
Contributor

No description provided.

@manopapad manopapad requested review from jjwilke and trxcllnt January 18, 2023 17:33
@manopapad manopapad added the category:bug-fix PR is a bug fix and will be classified as such in release notes label Jan 18, 2023
@manopapad manopapad marked this pull request as ready for review January 18, 2023 17:33
@rohany
Copy link
Member

rohany commented Jan 18, 2023

i think you need the same PR also for cunumeric

@manopapad manopapad merged commit 367e26f into nv-legate:branch-22.12 Jan 18, 2023
@manopapad manopapad deleted the debugrel-checks branch January 27, 2023 18:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

category:bug-fix PR is a bug fix and will be classified as such in release notes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants