Closed Scott-Guest closed 3 months ago
Fixes a small typo by renaming Rangemap:Range to RangeMap:Range, aligning with all the other RangeMap klabels.
Rangemap:Range
RangeMap:Range
RangeMap
This is just a simple sed -i 's/Rangemap/RangeMap/g' followed by updating any flaky test outputs.
sed -i 's/Rangemap/RangeMap/g'
I'll make the corresponding change in domains.md once this goes through to K.
domains.md
Fixes a small typo by renaming
Rangemap:RangetoRangeMap:Range, aligning with all the otherRangeMapklabels.This is just a simple
sed -i 's/Rangemap/RangeMap/g'followed by updating any flaky test outputs.I'll make the corresponding change in
domains.mdonce this goes through to K.