Code

git-gui: fix PATH environment for mingw development environment