Python: Change note for new points-to implementation.#1425

felicitymay merged 2 commits intogithub:mastergithub/codeql:masterfrom

markshannon:python-points-to-change-notemarkshannon/ql:python-points-to-change-noteCopy head branch name to clipboard