Re: [Boost-users] Bug in date_time?