Stream: rfc-notifications

Topic: rfcs / PR #24 Number each RFC file by the PR number it wa...

view this post on Zulip RFC notifications bot (Jun 24 2022 at 17:10):

Kylebrown9 opened PR #24 from number-rfcs to main:

Implements #23 by prefixing each RFC file with its associated PR number.

Last updated: Jan 24 2025 at 00:11 UTC