id summary reporter owner description type status milestone component version severity resolution keywords cc 8562 Pool doc lists incorrect header file Luis G. Torres Chris Newbold "The pool documentation (http://www.boost.org/doc/libs/1_53_0/libs/pool/doc/html/boost_pool/pool/conventions.html) specifies that users can include #include This is incorrect; users must in fact include #include in order to get the required functionality." Tasks new To Be Determined pool Boost 1.53.0 Problem pool, documentation