diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-02-12 18:20:27 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-02-12 18:20:27 +0000 |
| commit | 935830d05bcf5f0c648e636dcbc8848a201467c0 (patch) | |
| tree | ff289b26eb96e2dd9fdfaf24f5c73f0f2487a2d1 /docs/user | |
| parent | 88253907f4bc3beaa7b8f2e58cb652f653f92d56 (diff) | |
| parent | 8814d1368d6712fd85074d77e33be610f01566c4 (diff) | |
Merge #7655
7655: Include a commit log summary in the changelog r=matklad a=lnicola
This version omits any direct pushes, and maybe even pull requests merged from the GitHub UI. But I think it makes writing the release notes easier.
Co-authored-by: Laurențiu Nicola <[email protected]>
Diffstat (limited to 'docs/user')
0 files changed, 0 insertions, 0 deletions