diff options
| author | Théo Zimmermann | 2019-10-09 10:35:14 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-10-09 10:35:14 +0200 |
| commit | 1289ab84c76416630ff645daf92682800e96d88b (patch) | |
| tree | aa9f563b5f336e6badb9649b9dd5cb6f30c304d2 /dev/doc | |
| parent | dc690e7067aa91a05472b5d573cb463223ef4dec (diff) | |
Fix alphabetical ordering in the list of contributors to 8.10.
Also remove Pierre Letouzey from the list because his contribution was
the numeral notation feature which ended up being backported to 8.9,
after the branching, but before the first beta release.
Diffstat (limited to 'dev/doc')
0 files changed, 0 insertions, 0 deletions