diff options
| author | dimitri staessens <dimitri.staessens@ugent.be> | 2017-07-12 12:16:34 +0200 |
|---|---|---|
| committer | dimitri staessens <dimitri.staessens@ugent.be> | 2017-07-12 12:17:58 +0200 |
| commit | eaa2dff945366ed43b28fb1ae8e5c10ce95d9964 (patch) | |
| tree | c2e257101d4f52190a5fc6e2e00e8b6d8d637932 /install_release.sh | |
| parent | 9f553e440bd540ac46c98fa13ddf93e81daff221 (diff) | |
| download | ouroboros-eaa2dff945366ed43b28fb1ae8e5c10ce95d9964.tar.gz ouroboros-eaa2dff945366ed43b28fb1ae8e5c10ce95d9964.zip | |
irmd: Shutdown sanitizer without cancellation
Diffstat (limited to 'install_release.sh')
0 files changed, 0 insertions, 0 deletions