Skip to content
Snippets Groups Projects
Unverified Commit c19b3a22 authored by bors[bot]'s avatar bors[bot] Committed by GitHub
Browse files

Merge #731


731: don't leak memory if the environment is empty r=stlankes a=stlankes



Co-authored-by: Stefan Lankes's avatarStefan Lankes <slankes@eonerc.rwth-aachen.de>
parents a3df8e44 384b4101
No related branches found
No related tags found
No related merge requests found
Pipeline #971606 passed