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