Skip to content

Remove the deleted feature test_2018_feature from the test #13156

Merged
bors merged 1 commit intorust-lang:masterfrom Rustin170506:rustin-patch-fix-nightly-testDec 12, 2023

Commits

Commits on Dec 12, 2023