Closed JKRhb closed 1 year ago
After the merging of #216, an Editor's note in the document regarding RFC references has become obsolete. This PR simply removes the note in question.
Preview | Diff
After the merging of #216, an Editor's note in the document regarding RFC references has become obsolete. This PR simply removes the note in question.
Preview | Diff