Skip to content
GitLab
Explore
Sign in
emfollow
userguide
Merge requests
!255
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