[aur-requests] [PRQ#7525] Merge Request for python-mypy

hexchain [1] filed a request to merge python-mypy [2] into mypy [3]: Change name according to guidelines [1] https://aur.archlinux.org/account/hexchain/ [2] https://aur.archlinux.org/pkgbase/python-mypy/ [3] https://aur.archlinux.org/pkgbase/mypy/