Re: [opensuse-buildservice] build.opensuse.org ppc64 servers down?