VZ 0fbefe9219 Add issue template for a bug report ... Try creating a new issue template.		2022-01-14 01:43:36 +01:00
..
ISSUE_TEMPLATE	Add issue template for a bug report	2022-01-14 01:43:36 +01:00
workflows	Ignore changes to GitHub issue templates in the CI builds	2022-01-14 01:42:13 +01:00
CONTRIBUTING.md	Revert "Explain that GitHub PRs are temporarily disabled"	2022-01-12 23:42:18 +01:00