[Bonmin-tickets] Re: [Bonmin] #17: More configure problems

[Bonmin]

#17: More configure problems
-----------------------+----------------------------------------------------
Reporter:  phines      |        Owner:  pbonami
    Type:  defect      |       Status:  closed 
Priority:  major       |    Component:  Bonmin 
 Version:  stable/0.1  |   Resolution:  fixed  
Keywords:              |  
-----------------------+----------------------------------------------------
Changes (by pbonami):

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

Comment:

 Seems fixed

-- 
Ticket URL: <https://projects.coin-or.org/Bonmin/ticket/17#comment:3>
Bonmin <http://projects.coin-or.org/Bonmin>
Basic Open-source Nonlinear Mixed INteger programming