> Should but it doesn't, at least one package (kde-cli-tools)  isn't
> built yet.


Yes, on day later it is still missing and 5.13.2 package are just appearing...

-- eric

Reply via email to