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
> 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.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk