path: root/.github
diff options
authorRuben Undheim <>2018-08-30 20:46:20 +0200
committerRuben Undheim <>2018-08-30 20:46:20 +0200
commit5033b51947a6ef02cb785b5622e993335efa750a (patch)
tree7bed18c526bd94917fa2f08e3df12209863698a1 /.github
parentfefe0fc0430f4f173a25e674708aa0f4f0854b31 (diff)
New upstream version 0.7+20180830git0b7a184
Diffstat (limited to '.github')
1 files changed, 16 insertions, 0 deletions
diff --git a/.github/ b/.github/
new file mode 100644
index 00000000..24e91a4e
--- /dev/null
+++ b/.github/
@@ -0,0 +1,16 @@
+## Steps to reproduce the issue
+*Provide instructions for reproducing the issue. Make sure to include
+all neccessary source files. (You can simply drag&drop a .zip file into
+the issue editor.)*
+## Expected behavior
+*Please describe the behavior you would have expected from the tool.*
+## Actual behavior
+*Please describe how the behavior you see differs from the expected behavior.*
+**Important Note:** Nobody will be able to help you and/or fix the issue if you
+do not provide sufficient information for reproducing the problem.