Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Reapply "Use -Wno-* instead of the obsolete -fno-warn-*"
No longer needed now that we require GHC >= 8.* This reverts commit 2234b1f.
- Loading branch information