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. Chris _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
