On Thu, 2013-01-10 at 16:32 +0100, Paul Bolle wrote: > I haven't investigated in depth what happened, so this can even be something > dumb > on my side during build.
Not during build but definitely dumb and on my side. (Please don't ask.) Apologies for the noise. Paul Bolle -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
