Re: [Boost-bugs] [Boost C++ Libraries] #1535: [result_of] remove unneeded headers

Subject: Re: [Boost-bugs] [Boost C++ Libraries] #1535: [result_of] remove unneeded headers
From: Boost C++ Libraries (noreply_at_[hidden])
Date: 2008-11-26 12:34:42

#1535: [result_of] remove unneeded headers
  Reporter: Shunsuke Sogame <pstade.mb_at_[hidden]> | Owner: dgregor
      Type: Patches | Status: closed
 Milestone: Boost 1.36.0 | Component: function
   Version: Boost Development Trunk | Severity: Optimization
Resolution: fixed | Keywords: result_of

Comment(by Richard Webb <richard.webb_at_[hidden]>):

 I've run into this issue while making a minimal set of Boost headers to
 build my app (causes it to need more headers than it should), and i notice
 that the change hasnt been merged to the release branch.

 Can the change be merged for 1.38?

Ticket URL: <>
Boost C++ Libraries <>
Boost provides free peer-reviewed portable C++ source libraries.

This archive was generated by hypermail 2.1.7 : 2017-02-16 18:49:59 UTC