On Fri, Jun 08, 2018 at 09:49:48PM +0200, Greg KH wrote: > On Fri, Jun 08, 2018 at 09:46:35AM +0200, Pavlos Parissis wrote: > > Hi, > > > > > > Linux 4.9.107 was released on Jun 7th and www.kernel.org still points to 4.9.106 as latest version > > for 4.9 tree. I have seen delays before, but not for more than an hour. > > > > Is something broken? > > It's in the directory, but the front page is somehow broken, I've pinged > the admin to see what is happening. Same thing for 4.4.136. Turns out the Frankfurt mirror of kernel.org was stuck and should be fixed now, thanks for letting us know. greg k-h
