diff for duplicates of <Y4TpL5IIHUSRtSQo@arm.com> diff --git a/a/1.txt b/N1/1.txt index f933a90..d79c737 100644 --- a/a/1.txt +++ b/N1/1.txt @@ -50,8 +50,3 @@ atomics in plain C with __CPROVER_atomic_begin/end). -- Catalin - -_______________________________________________ -linux-arm-kernel mailing list -linux-arm-kernel@lists.infradead.org -http://lists.infradead.org/mailman/listinfo/linux-arm-kernel diff --git a/a/content_digest b/N1/content_digest index fbd7b89..3e28929 100644 --- a/a/content_digest +++ b/N1/content_digest @@ -64,11 +64,6 @@ "atomics in plain C with __CPROVER_atomic_begin/end).\n" "\n" "-- \n" - "Catalin\n" - "\n" - "_______________________________________________\n" - "linux-arm-kernel mailing list\n" - "linux-arm-kernel@lists.infradead.org\n" - http://lists.infradead.org/mailman/listinfo/linux-arm-kernel + Catalin -f17dbc1a6167c2739b287be21f5d38d8e87e558944e91516c2d12aee5a592b81 +398746818e27986ef7df13df3b72333dd9d4a4e183f5ad477af36ab1fc745f79
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.