Re: [Boost-users] date_time: convert to and from a timeval