Subject: [boost] a release manager for Boost 1.56
From: Andrzej Krzemienski (akrzemi1_at_[hidden])
Date: 2014-07-15 04:41:35
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?