On Wed, 2007-01-03 at 18:51 +0100, Jan Kiszka wrote:
> The menu ordering bugged me, specifically under the skins menu with all
> the new period options. There was some bug /wrt RTDM and some redundancy
> around the drivers menu. Any concerns about this patch?

No, please merge.

> 
> Jan
> _______________________________________________
> Xenomai-core mailing list
> Xenomai-core@gna.org
> https://mail.gna.org/listinfo/xenomai-core
-- 
Philippe.



_______________________________________________
Xenomai-core mailing list
Xenomai-core@gna.org
https://mail.gna.org/listinfo/xenomai-core

Reply via email to