On 13/7/2023 10:29 pm, Heinz Junkes wrote: > I see exact the same behavior as in the ticket 4273. > Thanks for looking into….
This has been fixed. Chris _______________________________________________ users mailing list users@rtems.org http://lists.rtems.org/mailman/listinfo/users