On 2018-01-09 09:29:19 [-0500], Gene Heskett wrote: > > git://git.kernel.org/pub/scm/linux/kernel/git/rt/linux-rt-devel.git > > v4.14.12-rt10 > > No such file or directory. Browsing the site, I am pulling > v4.14.y.rt10.tar.gz. Is this the correct file? forgot to push the tag. It has been done now and should show up in a few secs. 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
