Python: overlay compilation#1

d10c wants to merge 11 commits intod10c/python-overlayd10c/codeql:d10c/python-overlayfrom

d10c/python-overlay-and-compilationd10c/codeql:d10c/python-overlay-and-compilationCopy head branch name to clipboard