Skip to content
GitLab
Explore
Sign in
Register
gitlab-ci: Drop libiserv from upload_ghc_libs
Code
Review changes
Check out branch
Download
Patches
Plain diff
Ben Gamari
requested to merge
wip/drop-libiserv
into
master
Sep 20, 2023
Overview
13
Commits
1
Pipelines
1
Changes
1
Expand
libiserv has been merged into the ghci package.
Merge request reports