Boost logo

Boost :

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 !

Boost list run by bdawes at, gregod at, cpdaniel at, john at