[aur-requests] [PRQ#14657] Merge Request for python2-z3-solver

[notify at aur.archlinux.org]

ulyssesrr [1] filed a request to merge python2-z3-solver [2] into
python2-z3 [3]:

This package existed in the community repo as "python2-z3" but has
been removed as part of the python 2 deprecation process. I believe we
should keep using that name.

[1] https://aur.archlinux.org/account/ulyssesrr/
[2] https://aur.archlinux.org/pkgbase/python2-z3-solver/
[3] https://aur.archlinux.org/pkgbase/python2-z3/