Re: [boost] permission to merge docu ?