diff options
| author | Evgeny Vereshchagin <evvers@ya.ru> | 2019-06-21 02:21:09 +0200 |
|---|---|---|
| committer | Evgeny Vereshchagin <evvers@ya.ru> | 2019-06-21 04:35:00 +0200 |
| commit | 6207dd5b6a28db6892304ffce7bb2f7ba86c9bb7 (patch) | |
| tree | 107396c73a7468abd8608be91f44578b055020ba /tools | |
| parent | c6134d3e2f1d1d17b32b6e06556cd0c5429bc78a (diff) | |
| download | systemd-coverity.tar.gz | |
coverity: stop setting _Float*coverity
Should address https://github.com/systemd/systemd/issues/12854
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions