Re: [boost] Boost Timer Update

I forgot to add my plan was simply to mention the issue in the documentation, and emphasize the fact that microsec_timer is the "main" timer and that the others ones are there for completeness' sake. Philippe