On 06/05/2015 07:14 AM, Vladimir Zapolskiy wrote:> Hello Markus,>[ ... ]>> this change repeats the change sent by Michael Grzeschik one month ago> -- http://www.spinics.net/lists/linux-watchdog/msg06296.html>... and I even have it in my list of patches.Thanks a lot for noticing.Guenter