diff options
| author | Hécate Moonlight <Kleidukos@users.noreply.github.com> | 2021-02-07 18:43:19 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-07 18:43:19 +0100 |
| commit | a30ebe591c862bcaac321ce9a5c03fa2ce56729e (patch) | |
| tree | 883ee3f8c0e195299925b790cba6f88a537200f6 /html-test/src/BugExportHeadings.hs | |
| parent | 0f7ff041fb824653a7930e1292b81f34df1e967d (diff) | |
| parent | 786d3e69799398c3aac26fbd5017a127bc69cacc (diff) | |
Merge pull request #1321 from Kleidukos/ghc-9.0
Merge ghc-9.0 into ghc-head
Diffstat (limited to 'html-test/src/BugExportHeadings.hs')
0 files changed, 0 insertions, 0 deletions