On Mon, Apr 13, 2015 at 06:43:15PM +0200, Ingo Molnar wrote: > Minor nit: so this text has 3 variants to spell RB-trees: > > RB-tree > RB tree > rb-tree > > I suggest we pick one! :-)
RB-tree it is ;-) -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
