On Mon, 2014-12-29 at 12:56 +0000, Ian Campbell wrote: > > Should I reopen #767261 or file a new bug for this? > > A new bug would be best please. Actually, no need for this, I've applied the fixes locally and am just building them before pushing. Ian.