17 Jul
2014
17 Jul
'14
12:02 a.m.
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/