A Dilluns 19 Novembre 2007, Philippe Gerum va escriure: > Paul wrote: > > Fixed with the new patch. > > Merged, thanks.
trunk now is xenomai-rc6 with the new patches for debian? Regards, Leo _______________________________________________ Xenomai-help mailing list [email protected] https://mail.gna.org/listinfo/xenomai-help
