On 18/06/18 22:44, Waiman Long wrote: [...] > > Sorry, that one is bogus. Please ignore that. > OK, ignoring this should actually "fix" the odd behaviour I was talking about. -- To unsubscribe from this list: send the line "unsubscribe linux-doc" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html