thanks, now I submitted an own fix :-(
For whatever reason I get zero mail notifications from OBS since a while about new submissions. In the past they went into spam sometimes but meanwhile not even there.