Skip to content
GitLab
Explore
Sign in
Draft: Resolve "Rename HIFIS News"
Code
Review changes
Check out branch
Download
Patches
Plain diff
Erxleben, Fredo
requested to merge
15-rename-hifis-news
into
main
May 20, 2022
Overview
1
Commits
0
Pipelines
1
Changes
0
Expand
Closes
#15 (closed)
Merge request reports
Loading