-
Committer:
Martin
-
Date:
2018-11-18 18:58:38 UTC
-
mto:
This revision was merged to the branch mainline in
revision
7196.
-
Revision ID:
gzlist@googlemail.com-20181118185838-bj626ai2l18wimfg
Fix whitespace lint E241 and E251
Includes editing the third-party bootstrap script which should maybe
just go, but can deal with that later.