fix: release broker state during dead session cleanup - #251

fix: release broker state during dead session cleanup#251

ejgallego merged 1 commit into

mainleanprover/lean-beam:mainfrom

codex/dead-session-cleanupleanprover/lean-beam:codex/dead-session-cleanupCopy head branch name to clipboard