Skip to content

Re #6154 Add Stack's ide ghc-options command#6735

Draft
mpilgrem wants to merge 5 commits intomasterfrom
re6154
Draft

Re #6154 Add Stack's ide ghc-options command#6735
mpilgrem wants to merge 5 commits intomasterfrom
re6154

Conversation

@mpilgrem
Copy link
Member

@mpilgrem mpilgrem commented May 11, 2025

See:

Does not yet update documentation.

  • Any changes that could be relevant to users have been recorded in ChangeLog.md.
  • The documentation has been updated, if necessary

Please also shortly describe how you tested your change. Bonus points for added tests!

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