Re: SRC RPM publishing broken (?) [OBS bug?]