On Tuesday 13 March 2018 06:42 PM, Szabolcs Nagy wrote: > OK to commit. > > (it would be nice to have the equivalent change in newlib too..) Yes, it's in my TODO list for later this week. Siddhesh