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