Subject: [boost] Release branch merge
From: Dave Abrahams (dave_at_[hidden])
Date: 2012-04-19 14:32:33
Since we're within the 7-week window, I'm asking permission to patch the
release branch per the enclosed:
-- Dave Abrahams BoostPro Computing http://www.boostpro.com