Merge pull request #3961 from ehuss/fix-3931-rfmf · rust-lang/rfcs@efd2744

Triggered via push May 6, 2026 13:01

ehuss

master

Status Success

Total duration 39s

Artifacts 1

deploy.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	13.1 MB	`sha256:7c2f74c3f03873d2b53501371b09ae775350084cfffa93628202fe357069d8f2`