[automerger skipped] Merge "Stop prefix discovery if an RA prefix arrives in DISCOVERING" into rvc-dev am: 83eb86b247 am: a7068abb33 -s ours

am skip reason: Change-Id I3803fa3d9806848b331c35ee8bac256934bd1f21 with SHA-1 c9016cafe3 is in history

Change-Id: I1a0002840b3163a04bea0681225f0c27831ad1a3
This commit is contained in:
Lorenzo Colitti
2020-04-21 10:31:50 +00:00
committed by Automerger Merge Worker

Diff Content Not Available