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.
> Xenomai-core mailing list
Xenomai-core mailing list