Closed emlun closed 2 months ago
Fixes #2045.
This should take effect for pull requests opened after this PR is merged. Existing pull requests MAY be updated to this new convention, but are not required to apply this convention retroactively.
Fixes #2045.
This should take effect for pull requests opened after this PR is merged. Existing pull requests MAY be updated to this new convention, but are not required to apply this convention retroactively.