On Fri, Nov 23, 2018 at 7:47 AM Dan Horák <dan(a)danny.cz> wrote:
On Fri, 23 Nov 2018 14:28:46 +0100
Igor Gnatenko <ignatenkobrain(a)fedoraproject.org> wrote:
> Does anybody know why?
> Last kernel available there is 2 weeks old.
I've already pinged #fedora-kernel few days ago, but let's notify the
kernel list too.
Between Plumbers conference and some vacation, I was not around to
keep it updated, it should get rc4 today and remain on track.