Pin branch-tracked mod versions to their real commit, not the moving branch tip - #55
Open
12problems wants to merge 2 commits into
Open
Pin branch-tracked mod versions to their real commit, not the moving branch tip#5512problems wants to merge 2 commits into
12problems wants to merge 2 commits into
