15 Jul
2014
15 Jul
'14
8:41 a.m.
Hi, According to Boost calendar at http://www.boost.org/community/index.html, Master is open for bug fixes and doc changes. 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? Regards, &rzej