Skip to content

To allow compilation with ghc-8.10.4#11

Draft
idontgetoutmuch wants to merge 1 commit intompickering:masterfrom
idontgetoutmuch:master
Draft

To allow compilation with ghc-8.10.4#11
idontgetoutmuch wants to merge 1 commit intompickering:masterfrom
idontgetoutmuch:master

Commits

Commits on Aug 4, 2021