Python: detecting header splitting in synthetic app#20919

yoff wants to merge 5 commits intogithub:maingithub/codeql:mainfrom

yoff:python/header-splitting-experimentsyoff/codeql:python/header-splitting-experimentsCopy head branch name to clipboard