diff for duplicates of <20180531084134.GA17937@localhost.localdomain> diff --git a/a/1.txt b/N1/1.txt index f6afd73..f6d00b9 100644 --- a/a/1.txt +++ b/N1/1.txt @@ -40,3 +40,7 @@ On 31/05/18 10:26, Peter Zijlstra wrote: Plus this is not hotplug, but a user decision. It could make sense to keep .cpus unmodified after hotplug events, but does it make sense to let the user be able to choose cpus outside the parent domain? +-- +To unsubscribe from this list: send the line "unsubscribe linux-doc" in +the body of a message to majordomo@vger.kernel.org +More majordomo info at http://vger.kernel.org/majordomo-info.html diff --git a/a/content_digest b/N1/content_digest index 3e21acd..db75d20 100644 --- a/a/content_digest +++ b/N1/content_digest @@ -64,6 +64,10 @@ "\n" "Plus this is not hotplug, but a user decision. It could make sense to\n" "keep .cpus unmodified after hotplug events, but does it make sense to\n" - let the user be able to choose cpus outside the parent domain? + "let the user be able to choose cpus outside the parent domain?\n" + "--\n" + "To unsubscribe from this list: send the line \"unsubscribe linux-doc\" in\n" + "the body of a message to majordomo@vger.kernel.org\n" + More majordomo info at http://vger.kernel.org/majordomo-info.html -6c1730f7b193c115c922706d66ece1f22b83b5a70ba52ac898b7c5a8ce5be519 +48425d97f4e5a064d55f44405b938c023086e93dbc6e0c5190d06528a9193d8d
This is an external index of several public inboxes, see mirroring instructions on how to clone and mirror all data and code used by this external index.