> 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

Reply via email to