Subject: Re: [boost] a release manager for Boost 1.56
From: Niall Douglas (s_sourceforge_at_[hidden])
Date: 2014-07-16 20:02:02
On 15 Jul 2014 at 22:02, Eric Niebler wrote:
> > Can I thus merge this pull request:
> > https://github.com/boostorg/optional/pull/6, which I consider a fix for a
> > performance bug, but I anticipate other people may have other opinions?
>
> If tests have cycled and they look good, please go ahead.
I'll take that as approval for Boost.Thread to merge all its
outstanding bug fixes to release so :)
Niall
-- ned Productions Limited Consulting http://www.nedproductions.biz/ http://ie.linkedin.com/in/nialldouglas/