[boost] [1.51, heap] permission to merge r80039

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?

thanks, tim