Commit d56b4079e0474b2f96abe0487a44359970e43c2a

Edward Thomson 2021-08-31T09:21:22

Merge pull request #6024 from lhchavez/fix-possible-null-pointer-dereference Fix a possible null pointer dereference