Re: [Boost-users] circular_buffer: How to make push_back() increase capacity?