[yast-devel] Jenkins build is back to normal : yast-kdump-HEAD #227