Sun, 25 Mar 2018 16:22:36 +0200re-merge
Edouard Tisserant <edouard.tisserant@gmail.com> [Sun, 25 Mar 2018 16:22:36 +0200] rev 1975
re-merge

Mon, 19 Mar 2018 16:18:17 +0100Xenomai 3
Edouard Tisserant [Mon, 19 Mar 2018 16:18:17 +0100] rev 1974
Xenomai 3