Merge tag 'gitgui-0.19.0' of http://repo.or.cz/r/git-gui