Subject: Re: gnunet updates (gnunet,gnunet-gtk,gnurl,libextractor)

From: Tobias Geerinckx-Rice <[email-masked]>
Date: Mon, 18 Mar 2019 15:08:19 +0100

ng0,

I've pushed the first three patches (squashed into two) as 
47956fa0c24efcdcba3493f0231c30e9a39ec7df and 
a3f2c295e7f8719dc47d5757b89188e0ed68faf2.

Kind regards,

T G-R