Skip to content

Merge pull request #8665 from tautschnig/remove-is_null_pointer #7156

Merge pull request #8665 from tautschnig/remove-is_null_pointer

Merge pull request #8665 from tautschnig/remove-is_null_pointer #7156