MarcoFalke a140953907
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
2018-07-25 07:09:33 -04:00
..
2018-02-16 08:59:28 -05:00
2017-09-29 16:02:39 +02:00
2018-02-10 09:55:54 -05:00
2018-06-05 02:16:24 -07:00
2018-03-21 11:57:57 +08:00
2018-07-20 14:24:47 -04:00
2018-02-11 10:48:15 +01:00
2018-03-06 19:52:19 +00:00
2018-03-06 19:52:19 +00:00
2018-04-16 13:24:14 -07:00
2018-07-16 16:08:24 -07:00
2018-07-16 16:08:24 -07:00
2018-03-13 17:04:31 -07:00
2018-05-19 11:16:00 -04:00
2018-07-12 00:48:49 +02:00
2018-07-16 14:08:38 -07:00
2018-03-21 08:34:44 +02:00