tree 3029b03582b3728b3229881dd0f17b6029e65f4d
parent 620f70d03f5be144bfabcc57df9d59781073e7a8
author Madan Jampani <madan.jampani@gmail.com> 1454226836 -0800
committer Madan Jampani <madan.jampani@gmail.com> 1454226836 -0800

LEADER_ELECTOR distributed primitive enum type

Change-Id: I0d11218d0c9e134fb8b63fb24e743169f6b09dc2