Skip to content
GitLab
Explore
Sign in
Register
simplify drb lists management
Code
Review changes
Check out branch
Download
Patches
Plain diff
Thomas Laurent
requested to merge
remove-redundant-stored-drb-list
into
develop
Jun 26, 2023
Overview
14
Commits
14
Pipelines
0
Changes
66
Expand
Remove redundant stored drb lists to keep one single reference list
Merge request reports
Loading