Python: enable overlay compilation#20336

d10c wants to merge 1 commit intogithub:maingithub/codeql:mainfrom

d10c:d10c/python-overlay-compilation-onlyd10c/codeql:d10c/python-overlay-compilation-onlyCopy head branch name to clipboard