This site is being rebuilt and some pages are out of date. For current details, write to [email protected]. This notice goes away when the rebuild is done.

No analytics unless you allow it, no tracking. This site keeps in your browser the language you pick, the theme, its colour, which site you chose, the currency on the pricing page and that you closed this notice; signing in adds session cookies. The legal page has the details.

Sign in

Radar · Rust · Archive · Week 19 · May 4 – 10, 2026

Fix 3931 rfmf number and name

Nice to knowtooling

What changed
Corrected the 3931 filename and PR number.
Production impact
The source does not say.
Try it
View the rendered RFC at https://github.com/rust-lang/rfcs/blob/master/text/3931-rfmf-rust-foundation-maintainer-fund.md.
Source
github.com/rust-lang/rfcs/pull/3961

Understand it, then run it

The change corrects the filename and PR number for RFC 3931. RFC 3931 is a document that describes the Rust Foundation Maintainer Fund. The file was mis‑named and the PR number was wrong, so the link in the RFC pointed to the wrong place. Now the RFC file is named correctly and the PR number matches the actual pull request that fixed the issue.

Run it now

Todayrust
// This program demonstrates that the RFC repository now contains the
// correctly named file and PR number.  It simply prints a confirmation
// message, as the change itself does not affect runtime code.
fn main() {
    println!("RFC 3931 file name and PR number are now correct.");
}

What it printed when we ran it on Rust 1.98.1 (edition 2024)

RFC 3931 file name and PR number are now correct.

Run sends this program (for Solidity, the contract and its tests) to our own sandbox, where it is compiled and run once, with no network, and what it printed or the test report comes back here. Nothing is kept. Runs are counted per visitor for the day so everyone gets a turn; the details are on the legal page.

Written by gpt-oss-20b from the linked source · claims checked against the sources · archive, not individually reviewed