[opensuse-factory] New Tumbleweed snapshot 20190512 released!