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