Skip to content
GitLab
Explore
Sign in
Contributing Guide 2
Code
Review changes
Check out branch
Download
Patches
Plain diff
waldmann
requested to merge
contributing-guide
into
master
Mar 31, 2022
Overview
1
Commits
17
Pipelines
1
Changes
1
Expand
fixed some minor typos
it also works fine with the GHC 9.2 on
this Branch
Merge request reports
Loading