Skip to content

Fix resource leaks: use try-with-resources and add cleanup hooks #1930

Merged
jnioche merged 1 commit into
mainfrom
resource-leaks
Jun 5, 2026
Merged

Fix resource leaks: use try-with-resources and add cleanup hooks #1930
jnioche merged 1 commit into
mainfrom
resource-leaks

Commits

Commits on Jun 4, 2026