Hi Linus, > > > > Please pull from 'master' branch of > > git://www.linux-watchdog.org/linux-watchdog.git > > That host seems to be a little sick right now. I'm not getting > anything from it, just a very long wait followed by "Connection reset > by peer". I restarted the git daemon. It was indeed dead :-(. Can you retry? Mental note: I need to get that server replaced in the very near future... Kind regards, Wim. -- To unsubscribe from this list: send the line "unsubscribe linux-watchdog" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html