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

Reply via email to