Re: 03/15: gnu: wxwidgets: Use webkitgtk-2.4.

2018-01-22 Thread Danny Milosavljevic
I've reverted it. Hmm, why is the newer version of webkitgtk an input of wxwidgets when it can't be used by wxwidgets (and it can't be)?

Re: 03/15: gnu: wxwidgets: Use webkitgtk-2.4.

2018-01-22 Thread Danny Milosavljevic
Hi Leo, On Mon, 22 Jan 2018 15:19:04 -0500 Leo Famulari wrote: > On Mon, Jan 22, 2018 at 02:00:57PM -0500, Danny Milosavljevic wrote: > > dannym pushed a commit to branch master > > in repository guix. > > > > commit 8a58182c12193ae27359591c92febfdd602411f4 > > Author:

Re: 03/15: gnu: wxwidgets: Use webkitgtk-2.4.

2018-01-22 Thread Leo Famulari
On Mon, Jan 22, 2018 at 02:00:57PM -0500, Danny Milosavljevic wrote: > dannym pushed a commit to branch master > in repository guix. > > commit 8a58182c12193ae27359591c92febfdd602411f4 > Author: Danny Milosavljevic > Date: Mon Jan 22 17:34:13 2018 +0100 > > gnu: