Skip to content

Conversation

@deitch
Copy link
Contributor

@deitch deitch commented Oct 16, 2025

Identical to what is upstream

@deitch deitch closed this Oct 16, 2025
@deitch
Copy link
Contributor Author

deitch commented Oct 16, 2025

Sorry, my mistake. I copied too many windows! 🤦

@cmuellner cmuellner reopened this Oct 16, 2025
@cmuellner cmuellner closed this Oct 16, 2025
@deitch
Copy link
Contributor Author

deitch commented Oct 16, 2025

Sorry @cmuellner I had too many things going on. The change here was supposed to be just the 3 files identical to #1779 , not the other stuff, and that one already is open. Consider it my fat-fingering! 😆

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.

3 participants