Re: [Boost-users] bug in boost::multi_index::sequenced splice (patch)