Skip to content

Clean up resources better on exit

This is obviously not strictly necessary, but makes valgrind memory reports more useful.

Merge request reports

Loading