On Mon, Mar 5, 2012 at 10:40 PM, Richard Earnshaw <Richard.Earnshaw at arm.com> wrote: > Number is back up, but no host... We bounced to Ulrich's number via IRC. I've sent a please explain email. -- Michael