diff options
author | 2021-09-08 11:30:21 +0200 | |
---|---|---|
committer | 2021-09-08 14:33:03 +0000 | |
commit | 2f8174ff5101409d2335069330a4d674ec01afb9 (patch) | |
tree | 61cfaf80b3386c2afb807df028eabb529014503d /configure | |
parent | 710bdef43c2bfe6a6fd208edd080c75f06c5dfb7 (diff) |
interface: fix coverity issue
Change-Id: I5bb1ab3a57097bf03e7de5541cc8496655bc728f
Signed-off-by: Mohammed Hawari <mohammed@hawari.fr>
Type: fix
Fixes: 5b22339973feaa3eba48ead1e9fb428b1816c0cc
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions