Skip to content

Conversation

@manopapad
Copy link
Contributor

Port of #409 onto branch-22.12

@manopapad manopapad added the category:bug-fix PR is a bug fix and will be classified as such in release notes label Oct 4, 2022
@manopapad manopapad merged commit 7671dd7 into nv-legate:branch-22.12 Oct 4, 2022
@manopapad manopapad deleted the no-futures-on-fb-ported branch January 27, 2023 18:55
manopapad pushed a commit that referenced this pull request Mar 5, 2025
* Bump the Legion commit hash

* Bump the Legion commit again to fetch the build fix
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.

1 participant