Tue, 22 May 2012 22:29:43 +0200Fixing Xenomai runtime specific parts to remove segmentation fault when stopping PLC
laurent [Tue, 22 May 2012 22:29:43 +0200] rev 745
Fixing Xenomai runtime specific parts to remove segmentation fault when stopping PLC

Tue, 22 May 2012 06:41:54 +0200merge
Edouard Tisserant [Tue, 22 May 2012 06:41:54 +0200] rev 744
merge