Vadim Zeitlin e575b22aa7 Fix the branch compared with in the parent commit ... Compare with this branch, not master.		2023-01-31 15:12:02 +01:00
..
ISSUE_TEMPLATE	Make the issue template even more prescriptive	2022-06-10 18:14:35 +02:00
workflows	Fix the branch compared with in the parent commit	2023-01-31 15:12:02 +01:00
CONTRIBUTING.md	Revert "Explain that GitHub PRs are temporarily disabled"	2022-01-12 23:42:18 +01:00