Merge pull request #448 from sjakobi/travis
authorDavid Feuer <David.Feuer@gmail.com>
Mon, 18 Dec 2017 05:41:27 +0000 (00:41 -0500)
committerGitHub <noreply@github.com>
Mon, 18 Dec 2017 05:41:27 +0000 (00:41 -0500)
commit89dae8f432198ec32e75a309555d3f2c480cdea8
tree44dd3eae58a1944a658a6231cbee0ae294fba619
parentcb2524f139c79ca9d069d7fa35bdb653669002d8
parentd91af2ff762a6142e59dba495145adbde2b49995
Merge pull request #448 from sjakobi/travis

Travis: Add a GHC-8.2 job