diff options
| author | Heikki Krogerus <[email protected]> | 2018-11-09 17:21:33 +0300 |
|---|---|---|
| committer | Rafael J. Wysocki <[email protected]> | 2018-11-26 18:19:11 +0100 |
| commit | 2d51ac9086fd4852c1e43d615bd8dd99f2a616eb (patch) | |
| tree | 417654e37ae8f49f82bf3077f594ea4b5cb9ac68 /tools/perf/scripts/python/export-to-postgresql.py | |
| parent | 2e6e902d185027f8e3cb8b7305238f7e35d6a436 (diff) | |
driver core: platform: Remove duplicated device_remove_properties() call
device_remove_properties() is called for every device in device_del().
Signed-off-by: Heikki Krogerus <[email protected]>
Acked-by: Linus Walleij <[email protected]>
Reviewed-by: Andy Shevchenko <[email protected]>
Signed-off-by: Rafael J. Wysocki <[email protected]>
Diffstat (limited to 'tools/perf/scripts/python/export-to-postgresql.py')
0 files changed, 0 insertions, 0 deletions