Vadim Zeitlin 2704d5e26b Check for whitespace problems relative to 3.2 branch, not master ... This should have been part of 42f4f2c7c7 (Run CI builds on 3.2 branch, not master, in this branch, 2022-07-04).		2022-08-18 23:31:58 +02:00
..
ISSUE_TEMPLATE	Make the issue template even more prescriptive	2022-06-10 18:14:35 +02:00
workflows	Check for whitespace problems relative to 3.2 branch, not master	2022-08-18 23:31:58 +02:00
CONTRIBUTING.md	Revert "Explain that GitHub PRs are temporarily disabled"	2022-01-12 23:42:18 +01:00