Joost Rijneveld d113b45cf0 Fix font size of pull request template header ... The previous header size was a bit excessive, overshadowing actual comments.		2019-04-06 14:45:05 +02:00
..
pull_request_template.md	Fix font size of pull request template header	2019-04-06 14:45:05 +02:00