| commit | 670ca2e66601100f72d8c0d41a0bf620c2178f6f | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Mon Aug 21 17:08:15 2017 +0200 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Mon Aug 21 17:08:15 2017 +0200 |
| tree | 51488c3db04e54d06646581b1b9a0798ddd1ebb9 | |
| parent | df03cc3c2435de3abccf06efaabb7abeb49d5165 [diff] | |
| parent | 250741424c1f138ceeddcff90cb9bbbf223a9c52 [diff] |
Merge pull request #241 from mpeuster/master Improved API shutdown