aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/mini_Ticket112.html
diff options
context:
space:
mode:
authorHerbert Valerio Riedel <hvr@gnu.org>2018-06-20 23:13:25 +0200
committerHerbert Valerio Riedel <hvr@gnu.org>2018-06-20 23:14:52 +0200
commitfd4e6979b20440d1c43d71c975ba5878d3f7c040 (patch)
tree52404f2e2ac6a66e5bf9beb952efb9630e714629 /html-test/ref/mini_Ticket112.html
parent679f61210b18acd6299687fca66c81196ca358a5 (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