Closed
Description
Would a pull request fixing the source code comments be appreciated? I noticed that there were a few here and there in the source code.
I mean notations like [T, ..n]
instead of [T; n]
which was added in rfc#520
I ask because it is a minor change, and perhaps there is already a system in place for cleanup. (Which I did not find in Contributing.md)
Metadata
Metadata
Assignees
Labels
No labels