Vadim Zeitlin 89e5eca17d Explain that GitHub PRs are temporarily disabled

This will need to be reverted when the issues migration is complete, but
wxTrac link will have to be removed/replaced.

2022-01-11 19:01:29 +01:00

Temporary Notice

Pull requests to this repository are temporarily disabled to avoid interfering with the ongoing migration of our bug tracker to GitHub Issues.

Please check back soon (the entire migration should take no more than 48 hours).