Python: Minor cleanup for string pool interaction#14591

RasmusWL merged 1 commit intogithub:maingithub/codeql:mainfrom

RasmusWL:minor-stringpool-improvementRasmusWL/codeql:minor-stringpool-improvementCopy head branch name to clipboard