diff options
| author |  Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-10-27 11:40:42 +0200 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-10-27 21:41:16 +0200 |
| commit | 105797d2b800c1bde1e0e614d258be7fb2e0f444 (patch) | |
| tree | 032f9501c720c61e000e852b028c67bc1e16f4c1 /dev/doc | |
| parent | ad973248998da8d7d10ed00f4bcd6f383ba9a171 (diff) | |
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 8a2a2fffc..82fd41199 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 |