* Peter Williams <pwil3058@xxxxxxxxxxxxxx> wrote: > I've just been reviewing these patches and have spotted a couple of > errors that look like they were caused by fuzz during the patch > process. > > A patch that corrects the errors is attached. thanks, applied! Ingo - 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