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