Python: Remove points-to from metrics library#21344

tausbn wants to merge 3 commits intomaingithub/codeql:mainfrom

tausbn/python-remove-points-to-from-metrics-librariesgithub/codeql:tausbn/python-remove-points-to-from-metrics-librariesCopy head branch name to clipboard