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: 2010-11-27 16:24:16


#1535: [result_of] remove unneeded headers
----------------------------------------------------+-----------------------
  Reporter: Shunsuke Sogame <pstade.mb@…> | Owner: dgregor
      Type: Patches | Status: closed
 Milestone: Boost 1.44.0 | Component: utility
   Version: Boost Release Branch | Severity: Optimization
Resolution: fixed | Keywords: result_of
----------------------------------------------------+-----------------------

Comment (by marshall):

 I (Marshall) was the one who closed this ticket.

-- 
Ticket URL: <https://svn.boost.org/trac/boost/ticket/1535#comment:9>
Boost C++ Libraries <http://www.boost.org/>
Boost provides free peer-reviewed portable C++ source libraries.

This archive was generated by hypermail 2.1.7 : 2017-02-16 18:50:04 UTC