Prv leader fix - #3

Open

rfabbri wants to merge 2 commits into

rfabbri:prv-leader-fix

Commits on Apr 5, 2018

prv loads with default leaders
rfabbri
committed
86bdf64
prv correctly updates leaders for default case
rfabbri
committed
a848958