On 25/02/2020 14:07, Jan Sommer wrote:
Hello,

I just noticed that the patch with the suggestions from Joel
(https://lists.rtems.org/pipermail/users/2019-April/033151.html) never made it 
into the repository.

Since I have now git send-email configured, here it is again.

Thanks, I checked it in.

--
Sebastian Huber, embedded brains GmbH

Address : Dornierstr. 4, D-82178 Puchheim, Germany
Phone   : +49 89 189 47 41-16
Fax     : +49 89 189 47 41-09
E-Mail  : sebastian.hu...@embedded-brains.de
PGP     : Public key available on request.

Diese Nachricht ist keine geschäftliche Mitteilung im Sinne des EHUG.
_______________________________________________
devel mailing list
devel@rtems.org
http://lists.rtems.org/mailman/listinfo/devel

Reply via email to