DEVELOPERS: add Thomas De Schampheleire for xenomai
authorThomas De Schampheleire <thomas.de_schampheleire@nokia.com>
Tue, 8 Jan 2019 20:38:54 +0000 (21:38 +0100)
committerPeter Korsgaard <peter@korsgaard.com>
Tue, 8 Jan 2019 21:40:57 +0000 (22:40 +0100)
commit89964814cbbb9aeb12b935da6c3268cff5a2a80d
tree12095f4e73f9e847ab3d6fcedda563954700d36d
parent4219c58c386fdd351eb75185fa851addd63a75ed
DEVELOPERS: add Thomas De Schampheleire for xenomai

Signed-off-by: Thomas De Schampheleire <thomas.de_schampheleire@nokia.com>
Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
DEVELOPERS