diff options
| author | Théo Zimmermann | 2020-01-14 14:07:56 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-01-22 17:08:22 +0100 |
| commit | e976070889c81d833dcdd36b760745dc924698aa (patch) | |
| tree | 92f2aa55482d420ddae3e5e0beed6a228c541130 /dev | |
| parent | 0ce7fbb5550ad7a3acc7e06fe9d9bcc24e14ac70 (diff) | |
A few edits to the 8.11 section of the Changes chapter.
- Mention Guillaume Claret among maintainers of the OPAM repository
(as suggested by Karl Palmskog).
- Update links to the documentation to avoid being outdated.
- Mention sections beyond the one on 8.11+beta1.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions