[opensuse-buildservice] OBS 1.7.2 got released