Migrate run-make/const-prop-lint to rmake.rs#125653
Merged
bors merged 1 commit intorust-lang:masterfrom GuillaumeGomez:migrate-const-prop-lintMay 30, 2024
+18-10
run-make/const-prop-lint to rmake.rs#125653