From: Philippe Vaucher (philippe.vaucher_at_[hidden])
Date: 2006-10-31 04:55:46
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