Skip to content

Minor fixes to the dumping code

Pedro Gonnet requested to merge dump_offset into master

It currently isn't unmapping all the pages, which was not caught by the memory sanitizer because it's mmap and not malloc.

Merge request reports