Open endgame opened 3 weeks ago
The default mappend = (<>) definition appears in base-4.11, so raise the lower bound and regenerate CI.
mappend = (<>)
base-4.11
The default
mappend = (<>)definition appears inbase-4.11, so raise the lower bound and regenerate CI.