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: <https://svn.boost.org/trac/boost/ticket/1535#comment:3>
Boost C++ Libraries <http://www.boost.org/>
Boost provides free peer-reviewed portable C++ source libraries.