diff options
| author | Clément Pit-Claudel | 2019-07-04 08:32:40 -0400 |
|---|---|---|
| committer | Clément Pit-Claudel | 2019-07-04 08:32:40 -0400 |
| commit | 37d417f664fc14e14bbcf09d479c4bffbe5ee178 (patch) | |
| tree | f0985dd68e619f89c07ead8d805f7e912f4f6bf7 /dev/ci/docker/bionic_coq | |
| parent | 1c9aa339042030f756d1957abed7d3b698ff83f5 (diff) | |
| parent | 83a9451e4d6fd79ee7c529fb00c1d2e55bfbd6ad (diff) | |
Merge PR #10479: Fix miscellaneous mistakes in unreleased changelog entries.
Reviewed-by: cpitclaudel
Diffstat (limited to 'dev/ci/docker/bionic_coq')
0 files changed, 0 insertions, 0 deletions