allow compilation with ghc-9.12#85
Open
GuillaumedeVolpiano wants to merge 1 commit intoennocramer:masterfrom
Open
allow compilation with ghc-9.12#85GuillaumedeVolpiano wants to merge 1 commit intoennocramer:masterfrom
GuillaumedeVolpiano wants to merge 1 commit intoennocramer:masterfrom
