write extra_files when building pyembed artifacts?#466
Draft
dae wants to merge 1 commit intoindygreg:mainfrom
Draft
write extra_files when building pyembed artifacts?#466dae wants to merge 1 commit intoindygreg:mainfrom
dae wants to merge 1 commit intoindygreg:mainfrom
