Re: [boost] permission to merge documentation