On Fri, 2016-04-08 at 16:51 +0200, Sebastian Andrzej Siewior wrote: > Is there anything you can hand me over? Sure, I'll send it offline (yup, that proud of my scripting;) -Mike -- To unsubscribe from this list: send the line "unsubscribe linux-rt-users" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
