diff options
| author | coqbot-app[bot] | 2021-03-05 13:52:04 +0000 |
|---|---|---|
| committer | GitHub | 2021-03-05 13:52:04 +0000 |
| commit | b016348348f8b2dfaaf19c3a46436261a0ebde42 (patch) | |
| tree | ed56e49e116e8747b191e00b5ab4a7b97a16eb2e /interp | |
| parent | 3b3b381ec0dda20a372775fa85e110644875c073 (diff) | |
| parent | 232707051090fecf4ea20b461285a66d6a35b3b9 (diff) | |
Merge PR #13900: doc: don't count a contributor twice in the changelog
Reviewed-by: Zimmi48
Diffstat (limited to 'interp')
0 files changed, 0 insertions, 0 deletions