diff options
author | Andrew Yourtchenko <ayourtch@gmail.com> | 2022-09-15 12:11:06 +0000 |
---|---|---|
committer | Florin Coras <florin.coras@gmail.com> | 2022-09-18 23:19:16 +0000 |
commit | ccd83cb50194c6682a9c71b585d184c11ce11417 (patch) | |
tree | 4f72b5ebe748dcc898113d00131d84df7196b2db /.gitreview | |
parent | dd0144a4563212e193b517d05b231350d58fa53e (diff) |
lisp: fix coverity 277315
Handle the case of the mapping not being found by GID.
Type: fix
Change-Id: Ibce3b9e8419c0dddca97b4d0d5a71f25dfd529d8
Signed-off-by: Andrew Yourtchenko <ayourtch@gmail.com>
Diffstat (limited to '.gitreview')
0 files changed, 0 insertions, 0 deletions