diff options
author | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-05-17 22:44:19 +0200 |
---|---|---|
committer | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-05-17 22:44:19 +0200 |
commit | 4d348ef99bb3e3927be315ef1bdd1ae827c9a28c (patch) | |
tree | a9c9a626da1d143edd45a04cbbeb215debeebb1d /src/irmd | |
parent | f9f95b5e8ebf55109adc1f8ec242051408dc8811 (diff) | |
parent | ac4c044e13f813bcf2c765fcb88ab473c839692d (diff) | |
download | ouroboros-4d348ef99bb3e3927be315ef1bdd1ae827c9a28c.tar.gz ouroboros-4d348ef99bb3e3927be315ef1bdd1ae827c9a28c.zip |
Merged in sandervrijders/ouroboros/be (pull request #99)
lib: Add missing check upon garbage collection
Diffstat (limited to 'src/irmd')
0 files changed, 0 insertions, 0 deletions