Skip to content
GitLab
Explore
Sign in
Register
Update team.mkd for
@cactus
Code
Review changes
Check out branch
Download
Patches
Plain diff
Gergő Érdi
requested to merge
cactus/ghc-hq:cactus-main-patch-14173
into
main
Jul 12, 2023
Overview
0
Commits
1
Pipelines
0
Changes
1
Expand
Merge request reports