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

[MacPorts]

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

 * status:  new => closed
 * owner:  (none) => landonf
 * resolution:   => fixed


Comment:

 In [changeset:"d80ce7a771298d4f306ca8dc754964054386b058/macports-ports"
 d80ce7a771298d4f306ca8dc754964054386b058/macports-ports] (master):
 {{{
 #!ConfigurableCommitTicketReference repository="macports-ports"
 revision="d80ce7a771298d4f306ca8dc754964054386b058"
 z3-java: Update patch broken by 4.8.13 update

 Fixes: https://trac.macports.org/ticket/64157
 }}}

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