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)
Travis: Add a GHC-8.2 job


Trivial merge