Skip to content

Close the .xsb output when a save is abandoned part-way through - #112

Merged
pjfanning merged 1 commit into
apache:trunkfrom
pjfanning:leak-xsb-save-path
Sep 7, 2026
Merged

Close the .xsb output when a save is abandoned part-way through#112
pjfanning merged 1 commit into
apache:trunkfrom
pjfanning:leak-xsb-save-path

Close the .xsb output when a save is abandoned part-way through

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

Annotations

1 error and 1 warning
Analyze (java)
succeeded Sep 7, 2026 in 5m 3s