Hi, On Tue, 6 Jun 2017, Konstantin Podsvirov wrote:
> 06.06.2017, 21:25, "Stefan Beller" <sbel...@google.com>: > > On Tue, Jun 6, 2017 at 10:34 AM, Konstantin Podsvirov > > <konstan...@podsvirov.pro> wrote: > >> Reproduction: > >> - Start git gui > >> - Go to menu panel: Help > About Git Gui > >> > >> Output: > >> error: git-gui died of signal 11 > >> > >> Environment: > >> Debian 8 jessie amd64 KDE > > > > Care to also share the output of > > > > $ git gui --version > > git-gui version 0.19.0.2.g3decb8e > > > $ git --version > > git version 2.1.4 > > > > > as I suspect this to come from git and git-gui not working well together. FWIW v2.1.4 was released almost 2.5 years ago. The crash does *not* happen with the version I am running here on Ubuntu 16.04.2 LTS with git-gui version 0.21.GITGUI git version 2.13.0.windows.1.460.g13f583bedb5 Tcl/Tk version 8.6.5 Ciao, Johannes