Skip to content

update future prelude RFC with feedback from review#3574

Merged
ehuss merged 1 commit intorust-lang:masterfrom
yoshuawuyts:update-future-prelude-rfc
Feb 20, 2024
Merged

update future prelude RFC with feedback from review#3574
ehuss merged 1 commit intorust-lang:masterfrom
yoshuawuyts:update-future-prelude-rfc

Commits

Commits on Feb 18, 2024