Mike Hearn ef2352a404 Adjustments to the PR checklist ... * Use github task list format. * Remove (seemingly?) duplicated items. * People keep forgetting to delete the section so give up and just try to ensure the top line is edited. * Add a police emoji to make it clear we're serious		2017-09-20 16:58:31 +02:00
..
ISSUE_TEMPLATE.md
PULL_REQUEST_TEMPLATE.md