On 2007-04-18 22:35:02 +0200, Yann Dirson wrote: > But if the consensus is that "sink" or something else sounds better, > I have myself no objection to bury "bury" :) I think that "sink" is by far the best word for it, especially when paired with "float". (The only problem is that "stg series" prints the stack with the bottom on top and the top at the bottom, but that's old weirdness. :-) -- Karl Hasselström, kha@xxxxxxxxxxx www.treskal.com/kalle - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html