tree c96beb6409da536ba658b019081fe765278e3186
parent 3c3624f3df14590e7213d35c3b39a0a11c7d2d34
parent bce18c91638e9f37ef2c37555cbb41a0f1f98ab0
author Lorenzo Colitti <lorenzo@google.com> 1410258137 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1410258138 +0000

Merge "When comparing DNS server configs, also compare number of servers"