On 18/12/19 7:28 pm, Sebastian Huber wrote: > if this change is all right for you I would push it and update the RSB to pick > up the recent fixes in the tools.
It is fine. Chris _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
