Skip to content

bugfix for !143

Daniel Lenski requested to merge bugfix_MR_143 into master

fix undefined pointer error from !143 (merged), caught immediately by static analyzer CI run.

Merge request reports