diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-11-03 10:46:00 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-11-03 10:46:00 +0100 |
| commit | cc91f5703fa9f51fb0470e6c0d784c8a976fb452 (patch) | |
| tree | 7c5948d3351a82ed4905b436b1d0830866ba08a4 /dev/doc | |
| parent | 97bd47dbd61ca0b8f8a004fdec99f26dc7b032db (diff) | |
| parent | 105797d2b800c1bde1e0e614d258be7fb2e0f444 (diff) | |
Merge PR #6027: Mention the migration from Bugzilla to GitHub issues in dev/doc/changes.
Diffstat (limited to 'dev/doc')
| -rw-r--r-- | dev/doc/changes.md | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/dev/doc/changes.md b/dev/doc/changes.md index 6ade6576f..699ee6b84 100644 --- a/dev/doc/changes.md +++ b/dev/doc/changes.md @@ -1,5 +1,17 @@ ## Changes between Coq 8.7 and Coq 8.8 +### Bug tracker + +As of 18/10/2017, Coq uses [GitHub issues](https://github.com/coq/coq/issues) +as bug tracker. +Old bug reports were migrated from Bugzilla to GitHub issues using +[this migration script](https://gist.github.com/Zimmi48/d923e52f64fe17c72852d9c148bfcdc6#file-bugzilla2github) +as detailed in [this blog post](https://www.theozimmermann.net/2017/10/bugzilla-to-github/). + +All the bugs with a number below 1154 had to be renumbered, you can find +a correspondence table [here](/dev/bugzilla2github_stripped.csv). +All the other bugs kept their number. + ### Plugin API Coq 8.8 offers a new module overlay containing a proposed plugin API |