aboutsummaryrefslogtreecommitdiff
path: root/docs/user
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2021-02-12 18:20:27 +0000
committerGitHub <[email protected]>2021-02-12 18:20:27 +0000
commit935830d05bcf5f0c648e636dcbc8848a201467c0 (patch)
treeff289b26eb96e2dd9fdfaf24f5c73f0f2487a2d1 /docs/user
parent88253907f4bc3beaa7b8f2e58cb652f653f92d56 (diff)
parent8814d1368d6712fd85074d77e33be610f01566c4 (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