Hi Holger,

Holger Levsen wrote (17 May 2016 11:29:56 GMT) :
> On Tue, May 17, 2016 at 01:16:28PM +0200, intrigeri wrote:
>> I'm working on it and hope to fix it today.

Repaired!

> I'll gladly merge this whenever you tell me I should.

Please go ahead :)

Cheers,
-- 
intrigeri
_______________________________________________
Tails-dev mailing list
[email protected]
https://mailman.boum.org/listinfo/tails-dev
To unsubscribe from this list, send an empty email to 
[email protected].

Reply via email to