[Coin-osi-devel] Re: [Coin-discuss] Trivial Osi tickets pending for almost two months?

[Andreas Waechter]

Hi

> Would it be possible for somebody to take care of trivial tickets
> open at the end of June on the Osi Trac page? One of them amounts
> to erase an extra header file, a job taking at most 12 seconds.

I made the changes suggested in tickets 1-3 and committed them to the 
branches/devel version.

Andreas

>
> Francois
> _______________________________________________
> Coin-discuss mailing list
> Coin-discuss at list.coin-or.org
> http://list.coin-or.org/mailman/listinfo/coin-discuss
>