* Clark Williams | 2016-02-04 14:59:31 [-0600]: >On Mon, 3 Aug 2015 14:27:00 -0500 >I have been unable to reproduce this bug. It happened during normal use and I haven't changed work habits, so I'd say drop this from the -rt open-issues section until we can get an actual reproducer or at least until the frequency goes up. I moved it to [0] and dropped it from my announce mail. [0] https://bugzilla.kernel.org/show_bug.cgi?id=114131 >Thanks, >Clark Sebastian -- 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
