Re: [boost] [mpl] [build] [testing] Merge pull requests

Subject: Re: [boost] [mpl] [build] [testing] Merge pull requests
From: Edward Diener (eldiener_at_[hidden])
Date: 2014-09-17 19:33:32

On 9/17/2014 2:39 PM, Andrey Semashev wrote:
> Hi,
>
> There were a lot of discussions about MPL recently, and I created a few pull
> requests to address issues:
>
> https://github.com/boostorg/boost/pull/39
>
> Invoke 'headers' target before building testing tools. Note that several
> testers are currently failing to run because of this problem. Since this
> affects the testing process, I'd appreciate if someone familiar with it could
> take a look.
>
> https://github.com/boostorg/boost/pull/38
>
> Add MPL.Core tests to the test report. These tests are currently not run by
> testers.

The first two are not MPL changes so somebody else needs to merge them.

>
> https://github.com/boostorg/mpl/pull/12
>
> Move a misplaced header from MPL to MPL.Core to resolve circular dependency
> between the two.

The last is for MPL so I merged this pull request.

>
> I believe the first PR is especially critical. Could someone with permissions
> merge these?