Skip to content

Conversation

angerman
Copy link

@angerman angerman commented Sep 8, 2025

…ith the other Ghc prefixed variables.

Upstream MR: !14785

@angerman angerman self-assigned this Sep 8, 2025
@angerman angerman added the upstreaming This PR is in the process of being upstreamed label Sep 8, 2025
@angerman angerman mentioned this pull request Sep 8, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

upstreaming This PR is in the process of being upstreamed

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant