diff options
| author | Hécate Moonlight <Kleidukos@users.noreply.github.com> | 2021-02-22 11:54:58 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-22 11:54:58 +0100 |
| commit | c77327991c3aed520d9d779ee6cab4b7b506fdea (patch) | |
| tree | 11a344ef98d7f0b8f51ba7297bc6e574bebcbbef /.github/workflows | |
| parent | a82ad674def0e62218076d91ea24ad978ccfed9f (diff) | |
| parent | af46d073aa254bdede248fa8d2f5deb412968317 (diff) | |
Merge pull request #1345 from Kleidukos/head/fix-interface-imports
[ghc-head] Clean-up of Interface and Interface.Create's imports and pragmata
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions