3 Jan
2020
3 Jan
'20
7:23 p.m.
On Fri, Jan 3, 2020 at 11:11 AM Thomas Backlund tmb@mageia.org wrote:
Does not seem to exist in public git yet, maybe you forgot to push ?
Not "forgot", but I've pulled a couple of other things, and done my usual build tests etc. I tend batch up the pulls and pushes a bit, sorry for not making that clear.
But I've pushed it all out now.
Linus