diff options
| author | Aleksander Morgado <aleksander@aleksander.es> | 2016-03-02 17:09:33 +0100 |
|---|---|---|
| committer | Aleksander Morgado <aleksander@aleksander.es> | 2016-03-02 17:09:33 +0100 |
| commit | 7c2d5b1aa358c4edb94203d7de586d489b656576 (patch) | |
| tree | 831abf7aab4633b98e8f7ce4e98955c928d37397 /src/mm-plugin-manager.c | |
| parent | c8a26e472e05e8a02be881ad97cd9d15cd636f94 (diff) | |
helpers: fix check for pid when creating device identifier
https://bugs.freedesktop.org/show_bug.cgi?id=94364
Diffstat (limited to 'src/mm-plugin-manager.c')
0 files changed, 0 insertions, 0 deletions