| commit | 0597453f7c3c2885536deebc164ea616e4c63e8a | [log] [tgz] |
|---|---|---|
| author | Remi NGUYEN VAN <reminv@google.com> | Wed Aug 01 15:51:28 2018 +0900 |
| committer | Remi NGUYEN VAN <reminv@google.com> | Tue Aug 28 17:47:04 2018 +0900 |
| tree | 0869a044cf54da4e3fc7bf3558fe78cd1420bb05 | |
| parent | bf668472406a4b7f030eb20f35e4e4386b56671f [diff] |
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