On Thu, Jun 1, 2017 at 10:10 AM, Georg-Johann Lay <a...@gjlay.de> wrote:
> FYI, I found the following thread which reports a similar problem, > but without and solution :-( > > CC'ing Diego, maybe he remembers the solution from back then... > > https://gcc.gnu.org/ml/libstdc++/2011-03/msg00083.html Oh, wow. No, sorry. I would have to do some serious archaeology to even remember what problem I was having. Diego.