On 06/04/2018 16:54, Christian Mauderer wrote: > --- > rtems.py | 9 +++++++-- > 1 file changed, 7 insertions(+), 2 deletions(-)
Pushed. Thank you. Chris _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel