Skip to content

Conversation

@akoeplinger
Copy link
Member

@akoeplinger akoeplinger commented Aug 23, 2022

https://github.com/dotnet/RUNTIME/pull/74433.patch works but https://github.com/dotnet/runtime/pull/74433.patch leads to 404, opened a ticket with GitHub: #1757301

Copy link
Member

@AntonLapounov AntonLapounov left a comment

Choose a reason for hiding this comment

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

Thanks!

@akoeplinger
Copy link
Member Author

Merging since this isn't tested by CI.

@akoeplinger akoeplinger merged commit 96a32c6 into main Aug 23, 2022
@akoeplinger akoeplinger deleted the akoeplinger-patch-1 branch August 23, 2022 20:20
@ghost ghost assigned akoeplinger Aug 23, 2022
@ghost
Copy link

ghost commented Aug 23, 2022

Tagging subscribers to this area: @dotnet/runtime-infrastructure
See info in area-owners.md if you want to be subscribed.

Issue Details

https://github.com/dotnet/RUNTIME/pull/74433.patch works but https://github.com/dotnet/runtime/pull/74433.patch leads to 404, opened a ticket with GitHub: #1757301

Author: akoeplinger
Assignees: -
Labels:

area-Infrastructure

Milestone: -

@carlossanlop
Copy link
Contributor

Thank you for fixing this, @akoeplinger !

@ghost ghost locked as resolved and limited conversation to collaborators Sep 23, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants