On 10/19/2017 10:43 AM, Christoph Müllner wrote:
> Is there anything else I can do to get this merged?

All good. Merged, thanks.

-- 
Philippe.

_______________________________________________
Xenomai mailing list
[email protected]
https://xenomai.org/mailman/listinfo/xenomai

Reply via email to