No matches were found for subject:"\\\[Xenomai\\\-core\\\] \\\[RFC\\\]\\\[PATCH\\\] optimise wakeup order in xnsynch_flush"