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)
commit4ed6ae5aa802cdbc8f319bf6b19044d9eb68df1e
tree39005b9c30ee15e9e25a6310f38bf35a4a277335
parente6d4753fa4248917a5bfed81d2691ac946b83e67
parente3c3a82588507f0d819dad053e3a5a7685c244a0
Merge pull request #1103 from Projjol/patch-1

change raft settings