diff for duplicates of <2246245.2R0fntX3Po@amdc3058> diff --git a/a/content_digest b/N1/content_digest index e56b10b..a18bf84 100644 --- a/a/content_digest +++ b/N1/content_digest @@ -3,8 +3,18 @@ "ref\01501965437-30730-4-git-send-email-Julia.Lawall@lip6.fr\0" "From\0Bartlomiej Zolnierkiewicz <b.zolnierkie@samsung.com>\0" "Subject\0Re: [PATCH 3/4] thermal: exynos: constify thermal_zone_of_device_ops structures\0" - "Date\0Mon, 07 Aug 2017 15:21:26 +0000\0" - "To\0linux-arm-kernel@lists.infradead.org\0" + "Date\0Mon, 07 Aug 2017 17:21:26 +0200\0" + "To\0Julia Lawall <Julia.Lawall@lip6.fr>" + Zhang Rui <rui.zhang@intel.com> + " Eduardo Valentin <edubezval@gmail.com>\0" + "Cc\0bhumirks@gmail.com" + kernel-janitors@vger.kernel.org + Kukjin Kim <kgene@kernel.org> + Krzysztof Kozlowski <krzk@kernel.org> + linux-pm@vger.kernel.org + linux-samsung-soc@vger.kernel.org + linux-arm-kernel@lists.infradead.org + " linux-kernel@vger.kernel.org\0" "\00:1\0" "b\0" "On Saturday, August 05, 2017 10:37:16 PM Julia Lawall wrote:\n" @@ -55,4 +65,4 @@ "Samsung R&D Institute Poland\n" Samsung Electronics -2962114b2b9cc6b2423737884b9bb604689006cb7a9f4d12deca2288a08b5033 +0f3ab5885b340f0ad8f6a714af8e2b957b32ae67546e2f8fdf3d9199e1ffb011
diff --git a/a/1.txt b/N2/1.txt index 4be1f42..de643be 100644 --- a/a/1.txt +++ b/N2/1.txt @@ -10,21 +10,21 @@ On Saturday, August 05, 2017 10:37:16 PM Julia Lawall wrote: > identifier i; > position p; > @@ -> static struct thermal_zone_of_device_ops i@p = { ... }; +> static struct thermal_zone_of_device_ops i at p = { ... }; > > @ok1@ > identifier r.i; > expression e1,e2,e3; > position p; > @@ -> thermal_zone_of_sensor_register(e1,e2,e3,&i@p) +> thermal_zone_of_sensor_register(e1,e2,e3,&i at p) > > @bad@ > position p != {r.p,ok1.p}; > identifier r.i; > struct thermal_zone_of_device_ops e; > @@ -> e@i@p +> e at i@p > > @depends on !bad disable optional_qualifier@ > identifier r.i; diff --git a/a/content_digest b/N2/content_digest index e56b10b..a31a02b 100644 --- a/a/content_digest +++ b/N2/content_digest @@ -1,9 +1,9 @@ "ref\01501965437-30730-1-git-send-email-Julia.Lawall@lip6.fr\0" "ref\0CGME20170805210250epcas2p2f6a808ee6e3e20cd1dc19457b96ddbf4@epcas2p2.samsung.com\0" "ref\01501965437-30730-4-git-send-email-Julia.Lawall@lip6.fr\0" - "From\0Bartlomiej Zolnierkiewicz <b.zolnierkie@samsung.com>\0" - "Subject\0Re: [PATCH 3/4] thermal: exynos: constify thermal_zone_of_device_ops structures\0" - "Date\0Mon, 07 Aug 2017 15:21:26 +0000\0" + "From\0b.zolnierkie@samsung.com (Bartlomiej Zolnierkiewicz)\0" + "Subject\0[PATCH 3/4] thermal: exynos: constify thermal_zone_of_device_ops structures\0" + "Date\0Mon, 07 Aug 2017 17:21:26 +0200\0" "To\0linux-arm-kernel@lists.infradead.org\0" "\00:1\0" "b\0" @@ -19,21 +19,21 @@ "> identifier i;\n" "> position p;\n" "> @@\n" - "> static struct thermal_zone_of_device_ops i@p = { ... };\n" + "> static struct thermal_zone_of_device_ops i at p = { ... };\n" "> \n" "> @ok1@\n" "> identifier r.i;\n" "> expression e1,e2,e3;\n" "> position p;\n" "> @@\n" - "> thermal_zone_of_sensor_register(e1,e2,e3,&i@p)\n" + "> thermal_zone_of_sensor_register(e1,e2,e3,&i at p)\n" "> \n" "> @bad@\n" "> position p != {r.p,ok1.p};\n" "> identifier r.i;\n" "> struct thermal_zone_of_device_ops e;\n" "> @@\n" - "> e@i@p\n" + "> e at i@p\n" "> \n" "> @depends on !bad disable optional_qualifier@\n" "> identifier r.i;\n" @@ -55,4 +55,4 @@ "Samsung R&D Institute Poland\n" Samsung Electronics -2962114b2b9cc6b2423737884b9bb604689006cb7a9f4d12deca2288a08b5033 +4a34e404c88f55f1b1681226edbcdbdcd20c221bf14befcd364bb5b32b4c2d7e
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.