> On 6 Jan 2020, at 16:21, Jonathan Wakely <jwak...@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 :)

Reply via email to