Re: [Boost-users] [multi-index] bug or not?