[opensuse-buildservice] armbuild13 broken again

Hi Dirk, armbuild13 is broken again. Could you fix it, or at least disable it, please? Guillaume -- To unsubscribe, e-mail: opensuse-buildservice+unsubscribe@opensuse.org To contact the owner, e-mail: opensuse-buildservice+owner@opensuse.org