From af18b2b0a82b7040641477468a9006973d3f3572 Mon Sep 17 00:00:00 2001
From: Christoph Bergmeister <c.bergmeister@gmail.com>
Date: Sat, 10 Feb 2018 22:57:28 +0000
Subject: [PATCH] fix GitHub issue template (file ended in .md.txt instead of
 .md)

---
 .github/{ISSUE_TEMPLATE.md.txt => ISSUE_TEMPLATE.md} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename .github/{ISSUE_TEMPLATE.md.txt => ISSUE_TEMPLATE.md} (100%)

diff --git a/.github/ISSUE_TEMPLATE.md.txt b/.github/ISSUE_TEMPLATE.md
similarity index 100%
rename from .github/ISSUE_TEMPLATE.md.txt
rename to .github/ISSUE_TEMPLATE.md