From d113b45cf0014d48bbe35de009ca0c1c25496abb Mon Sep 17 00:00:00 2001
From: Joost Rijneveld <joost@joostrijneveld.nl>
Date: Sat, 6 Apr 2019 14:45:05 +0200
Subject: [PATCH] Fix font size of pull request template header

The previous header size was a bit excessive, overshadowing actual comments.
---
 .github/pull_request_template.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md
index 1f6a93c6..70f289f1 100644
--- a/.github/pull_request_template.md
+++ b/.github/pull_request_template.md
@@ -3,7 +3,7 @@
 <!-- Type some lines about your submission -->
 
 
-## Manually checked properties
+#### Manually checked properties
 <!-- These checkboxes serve for the maintainers of PQClean to verify your submission. Please do not check them yourself. -->
 
 * [ ] `#ifdef`s only for header encapsulation