assistance needed in bumping newlib version

Chris Johns chrisj at
Wed Jul 24 22:51:53 UTC 2019

On 25/7/19 8:23 am, Chris Johns wrote:
> Has the repo been updated with the upstream? It might be a manual operation. I
> am not sure if there are any instructions available on doing this. I am also not
> aware of any jobs on our servers to handle this.

The repo looks updated.


More information about the devel mailing list