[MacPorts] #45157: Dolfin import error

Tue Jan 13 13:56:23 PST 2015

#45157: Dolfin import error
------------------------+--------------------
  Reporter:  mwathen@…  |      Owner:  sean@…
      Type:  defect     |     Status:  closed
  Priority:  Normal     |  Milestone:
 Component:  ports      |    Version:  2.3.1
Resolution:  fixed      |   Keywords:
      Port:  dolfin     |
------------------------+--------------------
Changes (by sean@…):

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

Comment:

 Should be fixed in r131540.

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