diff options
| author | Michael Klishin <michael@novemberain.com> | 2018-09-17 10:41:36 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-17 10:41:36 +0200 |
| commit | 8f71523f001aa484fa514724dee15ed9ace87adc (patch) | |
| tree | 493c5e2b04ff46384a9181cf9f0de15d83261599 /quickcheck | |
| parent | 3d08081d8f4b0ef8220bceadc7f3db2e6d8a7b03 (diff) | |
| parent | 7a0c8b6f95067446c51b9e1d2eba21d655e41503 (diff) | |
| download | rabbitmq-server-git-8f71523f001aa484fa514724dee15ed9ace87adc.tar.gz | |
Merge pull request #1700 from rabbitmq/rabbitmq-server-1699
Make pg_local:member_died/2 more resilient
Diffstat (limited to 'quickcheck')
0 files changed, 0 insertions, 0 deletions