chiark / gitweb /
Merge pull request #1103 from Projjol/patch-1
authordaid <daid303@gmail.com>
Wed, 21 Jan 2015 06:21:23 +0000 (07:21 +0100)
committerdaid <daid303@gmail.com>
Wed, 21 Jan 2015 06:21:23 +0000 (07:21 +0100)
change raft settings


Trivial merge