Bug 3020: Add leader version to LeaderStateChanged