Closed pwolfert closed 1 month ago
Remove redundant RFC files. Long ago we migrated the content of these RFCs to GitHub Discussions. We can remove the files now. This pull request will at least give us a history of these files.
Summary
Remove redundant RFC files. Long ago we migrated the content of these RFCs to GitHub Discussions. We can remove the files now. This pull request will at least give us a history of these files.