From: Clint Adams <clint@debian.org>
Date: Sat, 17 Dec 2016 02:44:45 +0000 (+0000)
Subject: Merge ghc (8.0.1-17) import into refs/heads/workingbranch
X-Git-Tag: archive/raspbian/8.0.2-9+rpi1~1^2
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=1d3b4e382d2df0ff35bb969a8cad4e93527ddda0;p=ghc.git

Merge ghc (8.0.1-17) import into refs/heads/workingbranch
---

1d3b4e382d2df0ff35bb969a8cad4e93527ddda0