Re: [Boost-users] [date time] How to get "10" and not "Oct"