Skip to content

Avoid possible NPE, fixes #795#806

Merged
gnodet merged 1 commit intoapache:masterfrom gnodet:i795Mar 10, 2023

Commits

Commits on Mar 9, 2023