Skip to content

avoid even more unchecked pointer dereferences / changed some pointers to references #13917

avoid even more unchecked pointer dereferences / changed some pointers to references

avoid even more unchecked pointer dereferences / changed some pointers to references #13917

Annotations

1 warning

convert_via_pandoc

succeeded Apr 15, 2024 in 19s