Re: [boost] [parameter_python] Merge to master

Subject: Re: [boost] [parameter_python] Merge to master
From: Edward Diener (eldiener_at_[hidden])
Date: 2018-10-26 13:00:37

On 10/26/2018 8:23 AM, Peter Dimov via Boost wrote:
> Edward Diener wrote:
>> >> I would like to merge parameter_python to 'master' from 'develop'.
>> >> Does anybody see anything wrong with this ?
> 
> Not I.
> 
>> There are also some of Peter Dimov's fixes to the doc jamfile in 
>> 'develop'.
> 
> And these fixes are necessary for the documentation to actually build. 
> The documentation build for `parameter` never worked, but nobody noticed 
> because the .html files are in the repo and were being used. So yes, 
> this needs to be merged.

Done !