Util: Short-circuit rank usage in dense ranking library#21876

hvitved merged 1 commit into

github:maingithub/codeql:mainfrom

hvitved:dense-rank-short-circuithvitved/codeql:dense-rank-short-circuitCopy head branch name to clipboard