Michael 'Mickey' Lauer wrote: > I'm almost sure this situation will never arise again. Yeah, let's hope so :-) But even if it does, a place like kernel/unofficial-patches/ should serve the intended purpose nicely. - Werner
