Closed KindDragon closed 5 years ago
Can somebody merge this PR?
Arkady,
On 4 July 2017 at 10:11, Arkady Shapkin notifications@github.com wrote:
Can somebody merge this PR?
I shall merge soon, but I'm cycling some updates on the develop branch and need to ensure these are clean. They have been cycling for nearly long enough, so I need a couple more days.
The lengthy delay to merge to master was largely due to the work in other repositories. There had been a large number of moves of various pieces of code that were used internally. I needed this to settle down so that the interfaces on develop and master become sufficiently similar that my QA on develop was representative of likely success on master. I appreciate it has been a long time.
Neil
— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/boostorg/range/pull/49#issuecomment-312826250, or mute the thread https://github.com/notifications/unsubscribe-auth/AGaE6vvuq8xVytvWTPjliBuLFdGgsp_bks5sKgHDgaJpZM4NEkII .
Thank you
Fixed in boost 1.68.0
This commit from
develop
branch, we patch boost::range each release due to lack of commit e7ebe14707130cda7b72e0ae5e93b17157fdb6a2 Relater to PR #40