Merge branch 'master' into dpebot-repositorygardener

Author: lesv

ISSUE_TEMPLATE.md

@@ -0,0 +1,12 @@
+## In which file did you encounter the issue?
+
+<!-- Please provide the full path to the file, to avoid ambiguity -->
+
+### Did you change the file? If so, how?
+
+<!-- A diff would be helpful; otherwise, a description -->
+
+## Describe the issue
+
+<!-- Please be specific. Copying and pasting your invocation and the entire
+output is often helpful. -->