From e857acd3f13c9e5f6bfebc453b09c3444c1857bf Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 13 Feb 2019 09:04:43 +0100
Subject: [PATCH] add issue template

---
 .gitlab/issue_templates/Bug.md | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 .gitlab/issue_templates/Bug.md

diff --git a/.gitlab/issue_templates/Bug.md b/.gitlab/issue_templates/Bug.md
new file mode 100644
index 000000000..e2999c0af
--- /dev/null
+++ b/.gitlab/issue_templates/Bug.md
@@ -0,0 +1,8 @@
+<!--
+
+When reporting a bug, please always include the version of Iris you are using.
+If you are using opam, you can determine your Iris version by running
+
+  opam show coq-iris -f version
+
+-->
-- 
GitLab