Subject: [boost] [1.51, heap] permission to merge r80039
From: Tim Blechmann (tim_at_[hidden])
Date: 2012-08-15 04:55:04
request for release manager:
i'd like to merge r80039 to release, as it fixes bug #7233. ok or too late?
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk