[MacPorts] #64157: z3-java @4.8.13: applying patch fails

[MacPorts]

#64157: z3-java @4.8.13: applying patch fails
--------------------------+--------------------
  Reporter:  cooljeanius  |      Owner:  (none)
      Type:  defect       |     Status:  new
  Priority:  Normal       |  Milestone:
 Component:  ports        |    Version:  2.7.1
Resolution:               |   Keywords:
      Port:  z3-java      |
--------------------------+--------------------
Changes (by cooljeanius):

 * Attachment "update_api.py.rej" added.

 rejects file from attempting to patch z3-java

-- 
Ticket URL: <https://trac.macports.org/ticket/64157>
MacPorts <https://www.macports.org/>
Ports system for macOS