uwiger/locks — pull request #6 by garret-smith (2014-10-17 01:14:06+00:00)
Title: Add leader_call/3 with a timeout

leader_call/3 is leader_call/2 with a caller-specified timeout instead of the default 5s.