Merge pull request #4422 from ezyang/pr/haddock-fromflag
commitd119a02cbbd44c91892d4e6a2e11c0c1836eea87
authorMikhail Glushenkov <mikhail.glushenkov@gmail.com>
Thu, 23 Mar 2017 16:32:48 +0000 (23 16:32 +0000)
committerGitHub <noreply@github.com>
Thu, 23 Mar 2017 16:32:48 +0000 (23 16:32 +0000)
tree06f74b53d37796f31410ee8d5063decad12fb009
parente39f6334859155dcd687630b53c4c2917d829e67
parent1e90ae4380cdcef5662d933e3a34dcfef6080ec1
Merge pull request #4422 from ezyang/pr/haddock-fromflag

Use default flags rather than mempty.