diff options
author | Daniel Gröber <dxld@darkboxed.org> | 2017-11-26 19:33:59 +0100 |
---|---|---|
committer | Daniel Gröber <dxld@darkboxed.org> | 2017-11-26 19:33:59 +0100 |
commit | cdef82d6d86ccdf355e4ce5cfd4f3b5382dbe6dd (patch) | |
tree | cdc7196118152b9ae8a258b0670dde2989f12caa /scripts/ci | |
parent | c4e743c8408ada721e1039d786b69f6e122b28cd (diff) |
ci: Upgrade to GHC 8.2.2
Diffstat (limited to 'scripts/ci')
0 files changed, 0 insertions, 0 deletions