tree 0869a044cf54da4e3fc7bf3558fe78cd1420bb05
parent bf668472406a4b7f030eb20f35e4e4386b56671f
author Remi NGUYEN VAN <reminv@google.com> 1533106288 +0900
committer Remi NGUYEN VAN <reminv@google.com> 1535446024 +0900

Add global setting to use new DHCPv4 server

The setting applies to the choice of DHCPv4 server for tethering.

Bug: b/109584964
Test: Still builds, SettingsBackupTest passes
Change-Id: Id9b5820883eaf3148f09ad948c34795b3619a30e