Git for Windows 2.5.1

Apart from being based on Git 2.5.1, this Git for Windows release brings the following bug fixes:

• Backspace works now with
  ConHost-based (cmd.exe) terminal.
• When there is a ~/.bashrc but no ~/.bash_profile, the latter will be created automatically.
• When calling a non-login shell, the prompt now works.
• The text in the installer describing the terminal emulator options is no longer cut off.
• The connect.exe tool to allow SSH connections via HTTP/HTTPS/SOCKS proxies is included in Git for Windows again, as it was in Git for Windows 1.x.
• The LANG variable is no longer left unset (which caused troubles with vim).
• call start-ssh-agent no longer spits out bogus lines.
• It is now possible even behind NTLM-authenticated proxies to install Git for Windows' SDK.
• We can handle the situation now when the first $PATH elements point outside of Git for Windows' bin/ directories and contain .dll files that interfere with our own (e.g. PostgreSQL's libintl-8.dll).
• The patch tool is now included again as it was in Git for Windows 1.x.