On Sun, 2019-07-07 at 22:17 +0100, Jonathan Wakely wrote: > How's this? That looks good to me. If I'm being honest with myself I doubt I would have noticed this either way; I'm not sure I even read the separate configuration docs for libstdc++. However, all in all it's better (IMO) to have it noted than not.
