]> git.lyx.org Git - features.git/commitdiff
Fix a null pointer dereference spotted by coverity
authorJuergen Spitzmueller <spitz@lyx.org>
Sat, 30 Jan 2021 12:46:47 +0000 (13:46 +0100)
committerJuergen Spitzmueller <spitz@lyx.org>
Sat, 30 Jan 2021 12:46:47 +0000 (13:46 +0100)

No differences found