From cae9da6faa198de0a77e1edb9523bc04c4b1f758 Mon Sep 17 00:00:00 2001
From: cladmi <gaetan.harter@fu-berlin.de>
Date: Wed, 22 Aug 2018 13:22:53 +0200
Subject: [PATCH] github/pr: add missing newline at end of file

---
 .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 56bc057fd1..da16f65593 100644
--- a/.github/PULL_REQUEST_TEMPLATE.md
+++ b/.github/PULL_REQUEST_TEMPLATE.md
@@ -33,4 +33,4 @@ Examples: Fixes #1234. See also #5678. Depends on PR #9876.
 Please use keywords (e.g., fixes, resolve) with the links to the issues you
 resolved, this way they will be automatically closed when your pull request
 is merged. See https://help.github.com/articles/closing-issues-using-keywords/.
--->
\ No newline at end of file
+-->
-- 
GitLab