fix: use dense ranking on profile pages to match ranking table#17

vahldiek merged 1 commit into

ReproDB:mainReproDB/reprodb.github.io:mainfrom

vahldiek:fix/dense-rank-profile-pagevahldiek/reprodb.github.io:fix/dense-rank-profile-pageCopy head branch name to clipboard