On Fri, 5 Aug 2016 17:28:33 +0200 Sebastian Andrzej Siewior <bigeasy@xxxxxxxxxxxxx> wrote: > If you want to keep it, keep it. I just assumed it was a leftover. I have mixed feelings about it. I may just nuke it anyway. I forgot to add #3 laziness, it worked and I didn't want to add bugs by removing it. --Steve -- 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
