Merge remote-tracking branch 'origin/cherry-pick-43a43a33' into wip/ghc-8.8…

Authored by bgamari on Jun 4 2019, 5:01 PM.

Description

Merge remote-tracking branch 'origin/cherry-pick-43a43a33' into wip/ghc-8.8-merges

Merged Changes

CommitAuthorDetailsCommitted
0b91a0292b63monoidal/ghc-builders
Handle hs-boot files in -Wmissing-home-modules (#16551) 
Jun 3