Skip to content

Conversation

@am11
Copy link
Member

@am11 am11 commented Apr 27, 2023

This seems like a better fix and aligns with rest of the previous patch 9f07f65.

cc @jkotas, @clamp03

@ghost ghost added needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners community-contribution Indicates that the PR has been added by a community member labels Apr 27, 2023
@am11 am11 added area-Infrastructure-coreclr arch-riscv Related to the RISC-V architecture labels Apr 27, 2023
@ghost
Copy link

ghost commented Apr 27, 2023

Tagging subscribers to this area: @hoyosjs
See info in area-owners.md if you want to be subscribed.

Issue Details

This seems like a better fix and aligns with rest of the previous patch 9f07f65.

cc @jkotas, @clamp03

Author: am11
Assignees: -
Labels:

area-Infrastructure-coreclr, community-contribution, arch-riscv, needs-area-label

Milestone: -

@am11 am11 removed the needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners label Apr 27, 2023
Copy link
Member

@jkotas jkotas left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks

@jkotas jkotas merged commit 110125c into dotnet:main Apr 28, 2023
@ghost ghost locked as resolved and limited conversation to collaborators May 28, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

arch-riscv Related to the RISC-V architecture area-Infrastructure-coreclr community-contribution Indicates that the PR has been added by a community member

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants