ATM: use min() instead of rank[1]#7168

henrymercer merged 1 commit into

github:maingithub/codeql:mainfrom

erik-krogh:useMinInsteadofRank1erik-krogh/ql:useMinInsteadofRank1Copy head branch name to clipboard