Boost logo

Boost :

Subject: [boost] [result_of] Ticket #1535 ("remove unneeded headers")
From: Richard Webb (richard.webb_at_[hidden])
Date: 2008-12-16 10:18:11

I see that Ticket #1535 ( was
fixed on Trunk a year ago, but doesn't seem to have made it to the release

Can the change be merged across for 1.38?

Richard Webb

View this message in context:
Sent from the Boost - Dev mailing list archive at

Boost list run by bdawes at, gregod at, cpdaniel at, john at