tree d2a5bf64fd3bb9ee4ddfa45ff44750459ead8d94
parent a9626c1c956f51e7b4cb783d70b75abc3b180a00
author Lorenzo Colitti <lorenzo@google.com> 1383188386 +0900
committer Lorenzo Colitti <lorenzo@google.com> 1385368037 +0900

Pass DNS server info notifications to observers.

These are sent if the device receives IPv6 Router Advertisements
with DNS server configuration options. Currently, nothing listens
to them; in a future change we will use them as IPv6 DNS servers.

[Cherry-pick of 416740ad4d9132005a71dc0883334e852235a18a]

Bug: 9180552
Change-Id: I05000c0cd3867a68ab390102e8470b6912a9d3aa