From: l...@gnu.org (Ludovic Courtès) Subject: Re: bug#24445: GNOME desktop session crash when re-arranging dock Date: Mon, 09 Oct 2017 11:51:14 +0200
> So I guess we have to go with /etc/profile as in your patch. > Can you push the patch (with a comment linking to this issue)? Alright, I'll finish this up with some comments as discussed. Thanks everybody! Thomas
