> On 6 Jan 2020, at 16:21, Jonathan Wakely <jwakely@redhat.com> wrote: >> >> Overall, this really seems like a good setting for >> --enable-libstdcxx-time auto. > > OK, that makes sense. Thanks! Sure, thank you for your feedback :)