[yast-devel] Jenkins build is back to normal : yast-dns-server-HEAD #392