diff options
author | Sander Vrijders <[email protected]> | 2016-07-06 19:48:32 +0200 |
---|---|---|
committer | Sander Vrijders <[email protected]> | 2016-07-06 19:48:32 +0200 |
commit | f797b763dd9fa95d5294f60232babb017b2b495f (patch) | |
tree | ee3d038867decb18a0f21fea18c004f8d48dc662 /compile_release.sh | |
parent | ff09baf0cf9ec501ec54d2666e386238bc7e6389 (diff) | |
parent | 1ddc75c877f00a05669d1854d6196409428ea223 (diff) | |
download | ouroboros-f797b763dd9fa95d5294f60232babb017b2b495f.tar.gz ouroboros-f797b763dd9fa95d5294f60232babb017b2b495f.zip |
Merged in dstaesse/ouroboros/be-clean-exit (pull request #162)
lib: shm_du_map: Don't open rbuff when process exits
Diffstat (limited to 'compile_release.sh')
0 files changed, 0 insertions, 0 deletions