diff options
author | MarcoFalke <falke.marco@gmail.com> | 2018-07-25 07:09:28 -0400 |
---|---|---|
committer | MarcoFalke <falke.marco@gmail.com> | 2018-07-25 07:09:33 -0400 |
commit | a140953907eb522f891b5f8ab0fd9b6d1bf3195e (patch) | |
tree | 7f2441d9ae2fb1ecb487a1ff30ff1d3b8f2250d1 /doc/release-notes-pr12823.md | |
parent | c8836532024fa841d88dae6de91d662aba0f0cb7 (diff) | |
parent | 12dd1013454a3b4913e8e6bbac251887e7e82ff0 (diff) |
Merge #13753: scripted-diff: Remove trailing whitespaces
12dd101345 scripted-diff: Remove trailing whitespaces (João Barbosa)
Pull request description:
The script test/lint/lint-whitespace.sh should prevent new cases.
This happens in some pulls where the code editor and the author 'git add's them, so this would fix it all.
Tree-SHA512: bcdd3472fcd01a2754e52212c7db1de2fdc422728b06785481954a27162fb72001cb73708329cc56e95bcc5e45c1348ebc4eacc2ccfa6aa12413c7ec450b6a33
Diffstat (limited to 'doc/release-notes-pr12823.md')
0 files changed, 0 insertions, 0 deletions