Skip to content
GitLab
Explore
Sign in
This project is archived. Its data is
read-only
.
Resolve "Use Uuid instead of NodeIndex in all public interfaces."
Code
Review changes
Check out branch
Download
Patches
Plain diff
Expand sidebar
Resolve "Use Uuid instead of NodeIndex in all public interfaces."
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
Closes
#425 (closed)
Merge request reports
Loading