diff options
| author | Florian Dold <florian.dold@gmail.com> | 2019-05-01 20:52:43 +0200 |
|---|---|---|
| committer | Florian Dold <florian.dold@gmail.com> | 2019-05-01 20:52:43 +0200 |
| commit | feec6e30e6a6732b3005305f80ecdc30b01f7e4e (patch) | |
| tree | 46a20751d40329887d40257bb0080d49941d8915 /bootstrap | |
| parent | 88f9e693f685993af9d5c4309a6f1d93716754c0 (diff) | |
benchmark: terminate exchange slave properly
Diffstat (limited to 'bootstrap')
0 files changed, 0 insertions, 0 deletions