Skip to content

#1445: derive the launch set from the registry — delete the hand list and the serialization point with it - #1013

Open
PaulFidika wants to merge 1 commit into
masterfrom
1445-derive-launch-set
Open

#1445: derive the launch set from the registry — delete the hand list and the serialization point with it#1013
PaulFidika wants to merge 1 commit into
masterfrom
1445-derive-launch-set

Commits

Commits on Aug 19, 2026