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

hexchain [1] filed a request to merge python-mypy-lang [2] into python-mypy [3]: Please merge python-mypy-lang into python-mypy because upstream has changed its PyPI name. [1] https://aur.archlinux.org/account/hexchain/ [2] https://aur.archlinux.org/pkgbase/python-mypy-lang/ [3] https://aur.archlinux.org/pkgbase/python-mypy/