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

[notify at aur.archlinux.org]

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/