Hi Marc, On Tue, 19 Feb 2019 21:15:35 +0000 Marc Zyngier <marc.zyngier@xxxxxxx> wrote: > > Thanks for the heads up. I've just fixed the tree and pushed it out > again. Excellent, thanks. -- Cheers, Stephen Rothwell
Attachment:
pgpNJWK0PUY6S.pgp
Description: OpenPGP digital signature