Re: [boost] [parameter] Helping user libraries adjust to recent changes in GitHub develop branch