Subject: Re: [Boost-users] Cutting headers
From: Paolo Bolzoni (paolo.bolzoni.brown_at_[hidden])
Date: 2017-05-09 15:04:32
Unfortunately it is a long standing problem, even Bjarne Stroustrup mentions it.
http://www.stroustrup.com/bs_faq.html#boost