Skip to content

Conversation

@Geod24
Copy link
Member

@Geod24 Geod24 commented Mar 6, 2023

This reverts commit 076022c / PR2614.

See #2614 (comment) for why.

@Geod24 Geod24 merged commit 61c6b89 into dlang:master Mar 6, 2023
@Geod24 Geod24 deleted the revert-pr-2614 branch March 6, 2023 08:48
@Geod24
Copy link
Member Author

Geod24 commented Mar 6, 2023

@rikkimax : Note that I'm only reverting because it was merged too quickly. Please re-submit a complete diff (or update the pending PR) and we can get it properly reviewed and merged. Thanks.

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.

1 participant