On Tue, 2013-07-16 at 09:42 +1000, NeilBrown wrote: > Being "polite" without being "nice" is quite possible. > It even has a name: Diplomacy. And we all know how circular/indirect/implied/useless some of those diplomatic conversations can be. Just remember to bring a 'Big Stick' and don't be shy when it's necessary to display it. -- To unsubscribe from this list: send the line "unsubscribe stable" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html