tree 3e5e55c6285755631539555d5f6abc4d094af300
parent d0cce1436435bfcb477f2c5a670ea6675473c2f8
author Lorenzo Colitti <lorenzo@google.com> 1410167383 +0900
committer Lorenzo Colitti <lorenzo@google.com> 1410258026 +0900

When comparing DNS server configs, also compare number of servers

Bug: 16070602
Change-Id: I605f1cca50b08479ebcad290b3bd179f59be8a96