On Fri, Sep 14, 2018 at 05:19:47PM +1000, Jonathan Gray wrote: > On Fri, Sep 14, 2018 at 06:18:12AM +0200, Sebastien Marie wrote: > > Hi, > > > > I noticed the following new headers are installed: > > > > /usr/include/c++/v1/__refstring > > /usr/include/c++/v1/__undef___deallocate > > /usr/include/c++/v1/__undef_min_max > > > These headers were removed in the update not added. >
ah my bad. I didn't check on an upgraded host if they were used or not... sorry for the noise. -- Sebastien Marie
