commit | c44ca579adc725c273924224668bcd5f0a1ae574 | [log] [tgz] |
---|---|---|
author | Lorenzo Colitti <lorenzo@google.com> | Mon Apr 20 11:10:31 2020 +0000 |
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Mon Apr 20 11:10:31 2020 +0000 |
tree | 4aeed303a990f2c3e678a303e6005b986cadf009 | |
parent | 6ce7a2aeeeeb297ee0e645ed1406e03532ce5c1f [diff] | |
parent | 38c6519a909b90c4bb26b3dccfacf03cb00b9f12 [diff] |
Merge "Stop prefix discovery if an RA prefix arrives in DISCOVERING"