[yast-devel] Jenkins build is back to normal : yast-proxy-HEAD #126