diff options
| author | Théo Zimmermann | 2019-07-04 13:17:13 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-07-04 13:17:13 +0200 |
| commit | 83a9451e4d6fd79ee7c529fb00c1d2e55bfbd6ad (patch) | |
| tree | f0985dd68e619f89c07ead8d805f7e912f4f6bf7 /dev/ci | |
| parent | 1c9aa339042030f756d1957abed7d3b698ff83f5 (diff) | |
Fix miscellaneous mistakes in unreleased changelog entries.
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions