diff options
| author | Igor Ryzhov <iryzhov@nfware.com> | 2021-05-19 16:24:21 +0300 |
|---|---|---|
| committer | Igor Ryzhov <iryzhov@nfware.com> | 2021-05-19 16:24:21 +0300 |
| commit | 3558b8b8b46bd7907c7d7b66b63aa0f5fe63ddb0 (patch) | |
| tree | 8f804ddb448b53255d1ca46b88857cfd5f83702c /doc/developer/conf.py | |
| parent | f96c2b6dc2323835f88cd3a81500a68adc5619ee (diff) | |
pbrd: fix coverity warning
CID 1500586
There was an attempt to fix it in 920bb6f7 but the commit didn't
actually fix the warning.
Signed-off-by: Igor Ryzhov <iryzhov@nfware.com>
Diffstat (limited to 'doc/developer/conf.py')
0 files changed, 0 insertions, 0 deletions