Commit 0ae53fa76e020bd0595839733777cf87e0c6c2e5

Thomas de Grivel 2025-06-13T17:24:14

unwind_protect and minor tweaks