Skip to content
GitLab
Explore
Sign in
Resolve "Use Uuid instead of NodeIndex in all public interfaces."
Code
Review changes
Check out branch
Download
Patches
Plain diff
Udo Eisenbarth
requested to merge
425-use-uuid-instead-of-nodeindex-in-all-public-interfaces
into
main
Mar 10, 2025
Overview
0
Commits
13
Pipelines
0
Changes
83
Expand
Closes
#425 (closed)
Merge request reports
Loading