[opensuse-factory] New Tumbleweed snapshot 20200710 released!