> On 3 Dec 2019, at 6:17 pm, Sebastian Huber > <sebastian.hu...@embedded-brains.de> wrote: > > This helps to avoid issues with user names which contain space > characters.
Looks good. Please push. Thanks Chris _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
