[whitespace] tidy up indentation after scripted diff

This commit is contained in:
John Newbery committed 2020-09-07 11:16:12 +01:00
1 parent 58bd369b0d
commit 64f6162651

Diff Content Not Available