Merge remote-tracking branch 'osa1/backport_t16066' into wip/ghc-8.8-merges
authorBen Gamari <ben@smart-cactus.org>
Tue, 4 Jun 2019 22:00:59 +0000 (18:00 -0400)
committerBen Gamari <ben@smart-cactus.org>
Tue, 4 Jun 2019 22:00:59 +0000 (18:00 -0400)
commit32ae6b2a23201c3efd1cee5a68edd68f9d45bddf
tree04cae982379ad1077566cb12189e7279f2463c3c
parentbbdcc37502d12577b05575d2cf6402c44b26466a
parented73729223dcab4e733ce9e94da8c8d3ea5c8035
Merge remote-tracking branch 'osa1/backport_t16066' into wip/ghc-8.8-merges