tree c7d2c72ce7bf42810a452dd37576c8cdab98638a
parent 91bf1c89cbb61cf9f8183306196bfda97dd852a5
author Jan Schär <jan@monogon.tech> 1722268772 +0200
committer Jan Schär <jan@monogon.tech> 1724238601 +0000

WORKSPACE: remove CoreDNS dependency

This is no longer needed, CoreDNS was replaced by the new DNS server 
implementation.

Change-Id: I0c1072645a9e8ba196eabf6c549924def00b0212
Reviewed-on: https://review.monogon.dev/c/monogon/+/3281
Tested-by: Jenkins CI
Reviewed-by: Lorenz Brun <lorenz@monogon.tech>