Browse Source

Add small note to PR template

[ci skip]
master
Thom Wiggers 5 years ago
parent
commit
78257d4299
No known key found for this signature in database GPG Key ID: 1BB0A7CE26E363
1 changed files with 1 additions and 1 deletions
  1. +1
    -1
      .github/pull_request_template.md

+ 1
- 1
.github/pull_request_template.md View File

@@ -2,7 +2,7 @@

<!-- Type some lines about your submission -->

<!-- If you are not submitting a new scheme, we suggest removing the following lines -->
#### Manually checked properties
<!-- These checkboxes serve for the maintainers of PQClean to verify your submission. Please do not check them yourself. -->



Loading…
Cancel
Save