Vadim Zeitlin 265881c79e Revert "Explain that GitHub PRs are temporarily disabled" ... This reverts commit 89e5eca17d and replaces links to wxTrac with the new ones.		2022-01-12 23:42:18 +01:00
..
workflows	Merge branch 'ci-stl'	2022-01-11 23:50:42 +01:00
CONTRIBUTING.md	Revert "Explain that GitHub PRs are temporarily disabled"	2022-01-12 23:42:18 +01:00