REQUEST PULL: git-gui

The following changes since commit f6dd784ed4c1705d465b1238f9a5971f2733e582:

  git-gui 0.17 (2012-10-17 21:57:29 +0100)

are available in the git repository at:

  git://repo.or.cz/git-gui.git tags/gitgui-0.18.0

for you to fetch changes up to 8a383db4b28059becc3ebfd1b402299e34c3151f:

  git-gui 0.18 (2013-06-15 23:53:34 +0100)

---------------------------------------------------------------- git-gui 0.18.0

----------------------------------------------------------------
Christian Couder (1):
      Makefile: replace "echo 1>..." with "echo >..."

Grahack (1):
      French translation: copy -> copie.

Heiko Voigt (1):
      git-gui: allow "\ No newline at end of file" for linewise staging

John Keeping (1):
      git-gui: fix file name handling with non-empty prefix

Kirill Smelkov (1):
      git-gui: Fix parsing of <rev> <path-which-not-present-in-worktree>

Pat Thoyts (4):
      git-gui: fix the mergetool launcher for the Beyond Compare tool.
      git-gui: change dialog button positions for Windows to suit platform.
      git-gui: avoid an error message when removing the last remote
      git-gui 0.18

Stefan Haller (1):
      git-gui: bring wish process to front on Mac

 GIT-VERSION-GEN           |  2 +-
 Makefile                  |  6 +++---
 git-gui.sh                | 27 +++++++++++++++++----------
 lib/choose_repository.tcl |  4 +++-
 lib/diff.tcl              | 11 +++++++++--
 lib/mergetool.tcl         |  4 ++--
 lib/remote.tcl            |  6 ++++--
 po/fr.po                  |  2 +-
 8 files changed, 40 insertions(+), 22 deletions(-)

Pulled (but I won't really work on Sunday night so the integration and pushout will be done tomorrow).

Thanks.