Hi folks,
v4.0.2 is here, and it's addressing many annoying bugs that crept into the v4.

You can report issues here, and if you have any feedback - provide it here. 

Happy New Year, and thank you for your ongoing support.
Git Extensions team