Skip to content

remove_embedded: the fault-lifecycle removal primitive (no redistribution, ever) - #522

Merged
lmoresi merged 1 commit into
developmentfrom
feature/placement-lifecycle
Aug 11, 2026
Merged

remove_embedded: the fault-lifecycle removal primitive (no redistribution, ever)#522
lmoresi merged 1 commit into
developmentfrom
feature/placement-lifecycle

Commits

Commits on Aug 11, 2026