Skip to content
GitLab
Explore
Sign in
minor wording change in HasRemnant description
Code
Review changes
Check out branch
Download
Patches
Plain diff
Deep Chatterjee
requested to merge
deep.chatterjee/userguide:remnant-confusion
into
main
Mar 04, 2024
Overview
3
Commits
1
Pipelines
0
Changes
1
Expand
avoid using "remnant" to mean the final compact object
Merge request reports
Loading