That patch looks fine to me, avoiding any terms that might be misunderstood, and being pretty straightforward.
I'm guessing this will go through Jon?
Linus
--
To unsubscribe from this list: send the line "unsubscribe linux-doc" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
