[suse-mirror] 13.1 release

Hi, I opened up the o+r permissions on the 13.1/iso directory, so the mirrors open up too. The release will be today at 1200 UTC. Greetings, Stephan -- To unsubscribe, e-mail: mirror+unsubscribe@opensuse.org To contact the owner, email: mirror+owner@opensuse.org