diff options
| author | Herbert Valerio Riedel <hvr@gnu.org> | 2018-06-20 23:13:25 +0200 |
|---|---|---|
| committer | Herbert Valerio Riedel <hvr@gnu.org> | 2018-06-20 23:14:52 +0200 |
| commit | fd4e6979b20440d1c43d71c975ba5878d3f7c040 (patch) | |
| tree | 52404f2e2ac6a66e5bf9beb952efb9630e714629 /html-test/ref/mini_Ticket112.html | |
| parent | 679f61210b18acd6299687fca66c81196ca358a5 (diff) | |
Revert "Bump GHC version to 8.6"
This was applied to the wrong branch; there's now a `ghc-8.6` branch;
ghc-head is always supposed to point to GHC HEAD, i.e. an odd major version.
The next version bump to `ghc-head` is supposed to go from e.g. 8.5 to 8.7
This reverts commit 5e3cf5d8868323079ff5494a8225b0467404a5d1.
Diffstat (limited to 'html-test/ref/mini_Ticket112.html')
0 files changed, 0 insertions, 0 deletions