max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore(.github/PULL_REQUEST_TEMPLATE): typo

Browse source
This commit is contained in:
Sebastian Ullrich 2017-06-08 09:28:16 +02:00 • committed by Leonardo de Moura
parent f3b9db99cf
commit 4c5b4fa2f4
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.github/PULL_REQUEST_TEMPLATE.md vendored
View file

@ -2,6 +2,6 @@
Ensure you have read the contribution guide before filling in a description of the
pull request, regardless of whether it is complete or a work in progress.
All Pull Requests should includ test case(s) which demonstrates the intended
All Pull Requests should include test case(s) which demonstrates the intended
behavior of a feature, or a regression test demonstrating that the fix resolves
the issue.