On Mon, Apr 24, 2017 at 4:28 PM Kaushal Modi <kaushal.modi@gmail.com> wrote:

Hi,

I suddenly noticed that the default indentation has changed.

Sorry, somehow that image got pasted 5 times..

Kaushal Modi