summaryrefslogtreecommitdiff
path: root/packages/base/THANKS.md
diff options
context:
space:
mode:
authorAlberto Ruiz <aruiz@um.es>2017-07-26 09:55:40 +0200
committerGitHub <noreply@github.com>2017-07-26 09:55:40 +0200
commit24fa00edb95f61db49f74c09157b898a60fc3d19 (patch)
tree002a13425e32fdeff4601be0d8b1bb2a851b9181 /packages/base/THANKS.md
parenta08df91da6362d348635211a6d77d85501a72ab2 (diff)
parent8e79121454171b145e5d102e5713299b43604d88 (diff)
Merge pull request #231 from nh2/ghc-8.2
Fix compilation with GHC 8.2 by adding some type signatures.
Diffstat (limited to 'packages/base/THANKS.md')
0 files changed, 0 insertions, 0 deletions