[MacPorts] #45438: php-Judy port request (was: php55-judy php56-judy)

[MacPorts]

#45438: php-Judy port request
-----------------------+--------------------------
  Reporter:  an0nym@…  |      Owner:  ryandesign@…
      Type:  request   |     Status:  closed
  Priority:  Normal    |  Milestone:
 Component:  ports     |    Version:
Resolution:  fixed     |   Keywords:
      Port:  php-Judy  |
-----------------------+--------------------------
Changes (by ryandesign@…):

 * status:  assigned => closed
 * resolution:   => fixed
 * port:  php-judy => php-Judy


Comment:

 Committed in r127039. Thanks for the suggestion!

-- 
Ticket URL: <https://trac.macports.org/ticket/45438#comment:2>
MacPorts <https://www.macports.org/>
Ports system for OS X