Skip to content

fix: TrackedEnv drop must close the heed env via prepare_for_closing - #213

Merged
flupkede merged 1 commit into
developfrom
fix/index-rm-windows-holder
Aug 19, 2026
Merged

fix: TrackedEnv drop must close the heed env via prepare_for_closing#213
flupkede merged 1 commit into
developfrom
fix/index-rm-windows-holder

fix: TrackedEnv drop must close the heed env via prepare_for_closing

cb60209
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
csharp-integration-tests
succeeded Aug 19, 2026 in 4m 49s