tree b65a126c6f6dcf0fc82836428d61689211a05b86
parent 1da7a33099e0a06e4cca3b4a8e6c9d7874426df6
author Takashi Kajinami <kajinamit@oss.nttdata.com> 1706060455 +0900
committer Takashi Kajinami <kajinamit@oss.nttdata.com> 1706061886 +0000

Remove deprecated [network] dns_server options

This option was deprecated some years ago[1] because it was unused.
It hasn't been used since then, too, so we can remove it now.

[1] e027ea931ca0b7c2cde3ca9aaffe1bd39f975312

Change-Id: Id965f4b141d6ba83d4f6280f8da1475e73860cb2