Skip to content
Commit 960680d0 authored by Dennis Nienhüser's avatar Dennis Nienhüser
Browse files

Free memory early 

Without this memory consumption raises continously and exceeds 32 GB
already when working on level 7.
parent a07275bd
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment