Messages in this thread | | | Date | Mon, 29 Sep 2008 09:59:55 +0200 | From | Ingo Molnar <> | Subject | Re: [GIT PULL] kmemcheck fixlets (for -tip) |
| |
* Ingo Molnar <mingo@elte.hu> 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
| |