From 82ad203627a0d63dae7181df0a0921d75f3c781e Mon Sep 17 00:00:00 2001
From: Lars Eggert <lars@eggert.org>
Date: Wed, 9 Dec 2015 09:53:26 +0000
Subject: [PATCH] Use four spaces as default (Python default, as suggested by
 Henrik).

Range r10550-r10553 ready for merge.
 - Legacy-Id: 10553
---
 .editorconfig | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.editorconfig b/.editorconfig
index fcf70820d..ae5bbcda4 100644
--- a/.editorconfig
+++ b/.editorconfig
@@ -8,8 +8,8 @@ root = true
 
 [*]
 indent_style = space
-indent_size = 2
+indent_size = 4
 end_of_line = lf
 charset = utf-8
-trim_trailing_whitespace = false
+trim_trailing_whitespace = true
 insert_final_newline = true