diff options
| author | Drashna Jaelre <drashna@live.com> | 2018-05-15 19:33:53 -0700 |
|---|---|---|
| committer | Jack Humbert <jack.humb@gmail.com> | 2018-05-15 22:33:53 -0400 |
| commit | a572323f94b533582edab4402867dc994cc8c75f (patch) | |
| tree | 9d2f9e497f6edc149add5c1a0e9525aaf128e54f /docs/feature_userspace.md | |
| parent | 323cd357674ebd9ab6ac025ec8e015faeaa751e4 (diff) | |
Add default to LEADER_TIMEOUT in case it's not defined (#2818)
* Add default to LEADER_TIMEOUT in case it's not defined
* Update Leader Timeout default
Diffstat (limited to 'docs/feature_userspace.md')
0 files changed, 0 insertions, 0 deletions