extern-types: Generate replacement types dynamically#27

Merged

chrysn merged 1 commit intomainfrom dynamic-extern-types

Mar 16, 2023

+24-19

Commits on Mar 10, 2023

extern-types: Generate replacement types dynamically
chrysn
committed