unmap meta area after it was added to the tracefile#1

Draft

fneddy wants to merge 1 commit intomainfrom

wip/reduce_memory

Commits on Dec 3, 2024

unmap meta area after it was added to the tracefile
fneddy
committed