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 stable" in the body of a message to [email protected] More majordomo info at http://vger.kernel.org/majordomo-info.html
