id,summary,reporter,owner,description,type,status,milestone,component,version,severity,resolution,keywords,cc 6865,pool.get_size(),edupuis,John Maddock,"It would be nice to have a function get_size() that would return the current size of the pool. This could be helpful to track a pool's memory usage.",Feature Requests,new,To Be Determined,pool,Boost 1.49.0,Cosmetic,,,