Vadim Zeitlin 94a7251d81 Make the issue template even more prescriptive ... Some things that seem too obvious to say apparently are not, so do say them explicitly, as having the leftover from the template in the bug reports is really confusing.		2022-06-10 18:14:35 +02:00
..
ISSUE_TEMPLATE	Make the issue template even more prescriptive	2022-06-10 18:14:35 +02:00
workflows	Remove duplicated configure call from Mac CI workflow	2022-04-19 00:33:33 +02:00
CONTRIBUTING.md	Revert "Explain that GitHub PRs are temporarily disabled"	2022-01-12 23:42:18 +01:00