cabal
cabal copied to clipboard
Don't warn on `mhs-options` (fixes #11341)
This addresses #11341.
Template Α: This PR modifies behaviour or interface
Include the following checklist in your PR:
- [ ] Patches conform to the coding conventions.
- [x] Any changes that could be relevant to users have been recorded in the changelog.
- [ ] Is the change significant? If so, remember to add
significance: significantin the changelog file.
- [ ] Is the change significant? If so, remember to add
- [ ] The documentation has been updated, if necessary.
- [ ] Manual QA notes have been included.
- [ ] Tests have been added. (Ask for help if you don’t know how to write them! Ask for an exemption if tests are too complex for too little coverage!)