[MacPorts] #63158: z3 @4.8.11_1: requires macOS 10.13

[MacPorts]

#63158: z3 @4.8.11_1: requires macOS 10.13
---------------------------+---------------------
  Reporter:  chrstphrchvz  |      Owner:  landonf
      Type:  defect        |     Status:  closed
  Priority:  Normal        |  Milestone:
 Component:  ports         |    Version:  2.7.1
Resolution:  fixed         |   Keywords:
      Port:  z3            |
---------------------------+---------------------
Changes (by neverpanic):

 * status:  assigned => closed
 * resolution:   => fixed


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