[MacPorts] #15471: gri update to version 2.12.17

[MacPorts]

#15471: gri update to version 2.12.17
--------------------------------+-------------------------------------------
  Reporter:  Dan.Kelley at Dal.Ca  |       Owner:  jmr at macports.org
      Type:  enhancement        |      Status:  closed          
  Priority:  Normal             |   Milestone:  Port Updates    
 Component:  ports              |     Version:  1.6.0           
Resolution:  fixed              |    Keywords:                  
--------------------------------+-------------------------------------------
Changes (by jmr at macports.org):

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

Comment:

 Thanks, committed in r37261. (BTW, your patch was reversed.)

-- 
Ticket URL: <http://trac.macports.org/ticket/15471#comment:2>
MacPorts <http://www.macports.org/>
Ports system for Mac OS