mirror of
https://github.com/opennetworkinglab/onos.git
synced 2025-10-14 08:51:01 +02:00
This is a drop-in replacement until the generic ONOS Leadership service is robust enough. Change-Id: I72a84331dd948f98707eb59844dab425aa9d5c08