[yast-devel] Jenkins build is back to normal : yast-kerberos-server-HEAD #374