This repository has been archived by the owner on Apr 4, 2023. It is now read-only.
Move the sort ranking rule before the exactness ranking rule#344
Merged
bors[bot] merged 1 commit intomainfrom sort-ranking-rule-5th-positionSep 7, 2021
+6-6
