| commit | e1ce4b0bcb49e0aadb97274e9a71af2d6f8d96b8 | |
| author | Mikhail Glushenkov <mikhail.glushenkov@gmail.com> | |
| Wed, 7 Nov 2018 18:38:50 +0000 (7 18:38 +0000) | ||
| committer | GitHub <noreply@github.com> | |
| Wed, 7 Nov 2018 18:38:50 +0000 (7 18:38 +0000) | ||
| tree | ddf56e52c4f5d089ad1df15a7cb420b55d98b121 | treesnapshot (tar.gz zip) |
| parent | 2fcbdc7c4b22776999dc3f1903a635fc138084b5 | commitdiff |
| parent | b7c9c5d7f2b97394bafa4a22f67a287fb85438d6 | commitdiff |
Merge pull request #5598 from nkly/cabal-check-track-options-source-field
Track the exact source of ghc-*-options related warnings
Track the exact source of ghc-*-options related warnings