Comment 1 for bug 1402010

About the severity of the bug, apart from what's outlined above, the bug becomes very visible with bp/report-ha-router-master, because at that point the router states are reported to the controller and via the API. Once the bug reproduces I see two masters and the like.