[Coin-discuss] Trivial Osi tickets pending for almost two months?

[fmargot at andrew.cmu.edu]

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.

Francois