Skip to content

Create 0002-change-srm-typename.patch - #19635

Closed
ViktorHofer wants to merge 10 commits into
mainfrom
ViktorHofer-patch-1
Closed

Create 0002-change-srm-typename.patch#19635
ViktorHofer wants to merge 10 commits into
mainfrom
ViktorHofer-patch-1

Conversation

@ViktorHofer

@ViktorHofer ViktorHofer commented May 2, 2024

Copy link
Copy Markdown
Member

This should better unblock the re-bootstrap.

Patch from dotnet/runtime#101666

@ViktorHofer
ViktorHofer requested review from a team as code owners May 2, 2024 06:29
@ViktorHofer
ViktorHofer enabled auto-merge (squash) May 2, 2024 10:00
@ViktorHofer
ViktorHofer disabled auto-merge May 2, 2024 10:11
@ViktorHofer

Copy link
Copy Markdown
Member Author

OK this won't work and is the exact same error as in #19634. We need a re-bootstrap build for this go in.

@ViktorHofer ViktorHofer closed this May 2, 2024
@ViktorHofer
ViktorHofer deleted the ViktorHofer-patch-1 branch May 2, 2024 10:12
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