Merge pull request #122533 from Mic92/pyright
pyright: also add to all-packages for better visibility
authored by Jörg Thalheim and committed by GitHub 4 years ago 03f680dc 9c0ca46a