Skip to content
GitLab
Explore
Sign in
Register
Resolve "Updating research topics"
Code
Review changes
Check out branch
Download
Patches
Plain diff
Karsten Kruse
requested to merge
1327-updating-research-topics
into
dev
Jan 16, 2023
Overview
3
Commits
16
Pipelines
17
Changes
3
Expand
Closes
#1327 (closed)
Edited
Jan 17, 2023
by
Fabian Nuraddin Alexander Gabel
Merge request reports