diff options
| author | Estevan Castilho <tevo@riajuu.net> | 2026-10-10 00:32:21 +0000 |
|---|---|---|
| committer | Estevan Castilho <tevo@riajuu.net> | 2026-10-10 00:32:21 +0000 |
| commit | ecd778d5d92dc7cd0b57b9eb78b509ab851f3474 (patch) | |
| tree | 1b8ef6d9c0994245064f26acd382038a946a974f /lib/kernel/Program.ml | |
| parent | 290be60cf34ef2550a8cb9aa447c232445cd1476 (diff) | |
| download | RNT-ecd778d5d92dc7cd0b57b9eb78b509ab851f3474.tar.gz RNT-ecd778d5d92dc7cd0b57b9eb78b509ab851f3474.zip | |
The finalizer should also release the handle
Diffstat (limited to 'lib/kernel/Program.ml')
0 files changed, 0 insertions, 0 deletions