Skip to content

Conversation

@ViktorHofer
Copy link
Member

@ViktorHofer ViktorHofer commented Jul 19, 2023

Continuation of #89115
Fixes #89146

@ghost ghost added the needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners label Jul 19, 2023
@ghost ghost assigned ViktorHofer Jul 19, 2023
@jakobbotsch
Copy link
Member

I think this will also need to be ported to release/8.0-preview7

@ViktorHofer
Copy link
Member Author

/backport to release/8.0-preview7

@github-actions
Copy link
Contributor

Started backporting to release/8.0-preview7: https://github.com/dotnet/runtime/actions/runs/5598729363

@ViktorHofer
Copy link
Member Author

The failing leg finished successfully. Merging.

@ViktorHofer ViktorHofer merged commit 62802f8 into main Jul 19, 2023
@ViktorHofer ViktorHofer deleted the ViktorHofer-patch-2 branch July 19, 2023 12:39
@ghost ghost locked as resolved and limited conversation to collaborators Aug 18, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Test build fails with "libSystem.IO.Ports.Native.so.dbg' to be packed was not found on disk."

3 participants