Skip to content

[safety] Weaken lifetime in get_xde_state()#1016

Open
daniel-levin wants to merge 1 commit into
masterfrom
c3
Open

[safety] Weaken lifetime in get_xde_state()#1016
daniel-levin wants to merge 1 commit into
masterfrom
c3

Commits

Commits on Jun 30, 2026