tree 3e7bceb0bf09b1922dec617cc7e0823715f0ea48
parent 834f131a80bf57e20659c15f71ae9534750204a5
author Jordan Halterman <jordan@opennetworking.org> 1516841215 -0800
committer Thomas Vachuska <tom@opennetworking.org> 1517943079 +0000

Make caching optional for LeaderElector primitive.

Change-Id: Id77ae735ceed51c61e781cbcf4fc1111be1c1298