Skip to content

Revert #17623 #17744

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
Jun 1, 2023
Merged

Revert #17623 #17744

merged 2 commits into from
Jun 1, 2023

Conversation

nicolasstucki
Copy link
Contributor

@nicolasstucki nicolasstucki commented Jun 1, 2023

Revert #17623
Fixes #17743
[test_windows_full]

@nicolasstucki nicolasstucki marked this pull request as ready for review June 1, 2023 08:57
@nicolasstucki nicolasstucki requested a review from Florian3k June 1, 2023 08:58
@nicolasstucki nicolasstucki enabled auto-merge June 1, 2023 08:58
@jchyb
Copy link
Contributor

jchyb commented Jun 1, 2023

@nicolasstucki Thank you for taking care of this, I completely missed the issues on main yesterday. I'll try to be more careful from now on

nicolasstucki added a commit that referenced this pull request Jun 16, 2023
This a follow-up to #17623 after
reverting in #17744.

[test_windows_full]
@Kordyjan Kordyjan added this to the 3.4.0 milestone Aug 2, 2023
Kordyjan added a commit that referenced this pull request Nov 21, 2023
Backports #17744 to the LTS branch.

PR submitted by the release tooling.
@Kordyjan Kordyjan modified the milestones: 3.4.0, 3.3.2 Dec 14, 2023
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.

Nightly Dotty workflow of 2023-06-01 failed
4 participants