Use magic instead of make and port to mojo 25.3.0.dev2025032205#33
Merged
sa- merged 6 commits intomojo-data:mainfrom Mar 26, 2025
Merged
Use magic instead of make and port to mojo 25.3.0.dev2025032205#33sa- merged 6 commits intomojo-data:mainfrom
sa- merged 6 commits intomojo-data:mainfrom