Date: Wed, 04 Jan 2017 10:58:47 +0100 From: Frank Kardel <kar...@kardel.name>
I agree, the decision is whether we want bintime in the export format. Sounds good to me. We should use bintime more often. I have been meaning to add some high-resolution timer-related APIs that use it, e.g. cv_timedwaitbt, but my round tuit tank is running on fumes.
