Re: [opensuse-factory] Bad Tumbleweed snapshot 20170722?