Boost logo

Boost :

Subject: Re: [boost] [parameter_python] Merge to master
From: Peter Dimov (lists_at_[hidden])
Date: 2018-10-26 12:23:28

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.

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