[yast-commit] Jenkins build is back to normal : yast-proxy-HEAD #10