| commit | 12094335096ff887804828bf638a9d76b5daf25f | |
| author | Mikolaj Konarski <mikolaj@well-typed.com> | |
| Sat, 13 Aug 2022 09:23:14 +0000 (13 11:23 +0200) | ||
| committer | GitHub <noreply@github.com> | |
| Sat, 13 Aug 2022 09:23:14 +0000 (13 11:23 +0200) | ||
| tree | eca9e955266bdae7dcdc6630cb7d4659681e42a1 | treesnapshot (tar.gz zip) |
| parent | f4270fc090589b1c997a7cf83dd010261f8cc220 | commitdiff |
| parent | e194b90cae7c9dc95ce62c1b5de15213abc4bada | commitdiff |
Merge pull request #8373 from Mikolaj/fix-compilation-on-old-GHCs
Fix compilation on old GHCs (fixes #8371)
Fix compilation on old GHCs (fixes #8371)