diff options
| author | Simon Jakobi <simon.jakobi@gmail.com> | 2018-07-20 16:05:47 +0200 |
|---|---|---|
| committer | Simon Jakobi <simon.jakobi@gmail.com> | 2018-07-20 16:05:47 +0200 |
| commit | e3b86a49b57f9b127d9c98e47e61fb15f58478e7 (patch) | |
| tree | 1221ca9fd91af43f8f6e9ad4164d601bc73136aa /.arclint | |
| parent | ab9cb915c95a2436d76ed86a1e36f00ad92c1699 (diff) | |
Revert "Revert "Bump GHC version to 8.6""
That commit didn't belong onto the ghc-8.6 branch.
This reverts commit acbaef3b9daf1d2dea10017964bf886e77a8e967.
Diffstat (limited to '.arclint')
0 files changed, 0 insertions, 0 deletions