Merge ghc (8.0.1-17+rpi1) import into refs/heads/workingbranch
authorRaspbian forward porter <root@raspbian.org>
Fri, 30 Dec 2016 02:30:41 +0000 (02:30 +0000)
committerRaspbian forward porter <root@raspbian.org>
Fri, 30 Dec 2016 02:30:41 +0000 (02:30 +0000)

Trivial merge