Skip to content

Conversation

@pcolberg
Copy link
Contributor

@pcolberg pcolberg commented Jun 7, 2022

See #6220 (comment)

This is a prerequisite of #6220

@pcolberg pcolberg requested a review from a team as a code owner June 7, 2022 23:54
@pcolberg pcolberg requested a review from smaslov-intel June 7, 2022 23:56
@pcolberg
Copy link
Contributor Author

pcolberg commented Jun 8, 2022

On second thought, closing this PR in favour of simply including this commit in #6220. I prefer separate commits for separate aspects of a change, but this way the merge of #6220 is not blocked any further.

@pcolberg pcolberg closed this Jun 8, 2022
@pcolberg pcolberg deleted the fix-USMHostAlloc-empty-properties branch June 8, 2022 00:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants