Merge branch 'coverity'
authorJonathan Dieter <jdieter@gmail.com>
Mon, 18 Apr 2022 16:37:33 +0000 (17:37 +0100)
committerJonathan Dieter <jdieter@gmail.com>
Mon, 18 Apr 2022 16:37:33 +0000 (17:37 +0100)

Trivial merge