| commit | e2bd3ad00c90ff4db3e7a75d0741cce9eea0c018 | [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 | dd592dc5f4d7c0f04a389d3eeab781fc6b853459 | |
| parent | 11dde57b7ff5fd9ae6d575d095d120518fded68c [diff] | |
| parent | 632092bb287da982bb897ee0545a5ee35218d3c0 [diff] |
Merge "Stop prefix discovery if an RA prefix arrives in DISCOVERING"