diff options
| author |  Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-04-11 12:39:23 +0200 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-04-11 12:39:23 +0200 |
| commit | 75df94937d7832926ea979718fb0a8fdb44f3e1a (patch) | |
| tree | e078a4fe25843a05abc1f014a64ee532266ef495 /CREDITS | |
| parent | 8059a0efa79fcd72d56c424adf1bea10dae28d6d (diff) | |
Fix wrong mention in the release notes.
Diffstat (limited to 'CREDITS')
0 files changed, 0 insertions, 0 deletions