Vadim Zeitlin 650aeb7466 Update options used in CI builds for testing compatibility ... Testing disabling 3.0 compatibility is useless as it's disabled by default in master, so disable 3.2 compatibility instead. Also enable 3.0 compatibility for one of the builds to check that doing this still works too.		2023-03-23 13:34:08 +01:00
..
ISSUE_TEMPLATE	Refactor issue templates using HTML comments	2022-09-27 23:27:42 +02:00
workflows	Update options used in CI builds for testing compatibility	2023-03-23 13:34:08 +01:00
CONTRIBUTING.md	Revert "Explain that GitHub PRs are temporarily disabled"	2022-01-12 23:42:18 +01:00