Re: [boost] [range] permission to merge