Fix sorting that would overwrite dispatch table. #41

Merged

Kerilk merged 1 commit intomasterfrom

Sep 18, 2025

Commits on Sep 17, 2025

Fix sorting that would overwrite dispatch table. TODO: Fix leak if platform gets discarded.
Kerilk
committed