Hi Matthias,

On Mon, 3 Dec 2018 22:07:07 +0100 Matthias Brugger <matthias....@gmail.com> 
wrote:
>
> I pushed and deleted the branch yesterday, as it does not build ATM.
> I'll fix that tomorrow.

No worries.

-- 
Cheers,
Stephen Rothwell

Attachment: pgpkQCNqVFvM_.pgp
Description: OpenPGP digital signature

Reply via email to