diff options
author | Siri Hansen <[email protected]> | 2016-06-15 15:30:35 +0200 |
---|---|---|
committer | Siri Hansen <[email protected]> | 2016-06-15 15:30:35 +0200 |
commit | 37464e088e9f4268c1d54d56d7cb31bec1cc140f (patch) | |
tree | 4f51c344b8e6195e739520c99931f70071a3d686 /configure.in | |
parent | 2ce17d44eba8993985f49abafc78d6c0f99bef27 (diff) | |
parent | c8a4098692b5ad5c813f7f97557800ea638db652 (diff) | |
download | otp-37464e088e9f4268c1d54d56d7cb31bec1cc140f.tar.gz otp-37464e088e9f4268c1d54d56d7cb31bec1cc140f.tar.bz2 otp-37464e088e9f4268c1d54d56d7cb31bec1cc140f.zip |
Merge branch 'siri/cuddle-master'
* siri/cuddle-master:
Add short sleep when killing slave nodes
[ct test] Do reload_config instead of get_config
Diffstat (limited to 'configure.in')
0 files changed, 0 insertions, 0 deletions