[opensuse-arm] Tumbleweed AArch64 not publishing anymore?

Hi, it seems that AARch64 Tumbleweed is no more updated on download.opensuse.org server. AArch64 images are from June whereas newer images are available on OBS. Update repo is from 4th of august. kernel is 4.11.8 whereas 4.12.8 is ready in OBS. Is there a never ending build problem which prevent publishing or maybe just a publish problem? Guillaume -- To unsubscribe, e-mail: opensuse-arm+unsubscribe@opensuse.org To contact the owner, e-mail: opensuse-arm+owner@opensuse.org