Re: [boost] [1.47] permission to merge doc change