[MacPorts] #45157: Dolfin import error

[MacPorts]

#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     |
------------------------+--------------------

Comment (by jacobsonclas@…):

 Replying to [comment:18 sean@…]:
 > Should be fixed in r131540.

 Thanks! Works fine...

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