There is a new pull request by PaperMountainStudio against master on the void-packages repository

https://github.com/PaperMountainStudio/void-packages 0001-python3-mypy-add-man-page.patch
https://github.com/void-linux/void-packages/pull/25685

python3-mypy: add man page


A patch file from https://github.com/void-linux/void-packages/pull/25685.patch is attached