Vadim Zeitlin f502a9b5d7 Add an issue template for enhancement proposals		2022-01-14 01:49:14 +01:00
..
ISSUE_TEMPLATE	Add an issue template for enhancement proposals	2022-01-14 01:49:14 +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