Re: [GIT PULL] kmemcheck fixlets (for -tip)

[Ingo Molnar]

* Ingo Molnar <mingo@xxxxxxx> wrote:

> branches are hard to kill in Git (anyone pushing back from a tree that 
> still has the old branch will re-create it). The name is sufficiently 
> generic so we keep keep it. The name can be reused in the future 
                 ^can
> eventually.

	Ingo
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/