Python: Avoid duplicate modules in points-to and resulting blow-up.#1463

taus-semmle merged 1 commit intogithub:rc/1.21github/codeql:rc/1.21from

markshannon:python-no-duplicate-modulesmarkshannon/ql:python-no-duplicate-modulesCopy head branch name to clipboard