Flagged Out-of-Date Comment: python2-z3

MarsSeed flagged python2-z3 out-of-date on 2022-05-30 (UTC) for the following reason:

4.8.17