Skip to content

coverity 1517813: null pointer dereference#10041

Merged
maskit merged 1 commit intoapache:masterfrom
maskit:cov_1517813
Jul 17, 2023
Merged

coverity 1517813: null pointer dereference#10041
maskit merged 1 commit intoapache:masterfrom
maskit:cov_1517813

Commits

Commits on Jul 14, 2023