Skip to content
GitLab

Resolve "Ctrl+C prints Error: destroying non-empty Allocator"

Merged Samuel Debionne requested to merge 120-ctrl-c-prints-error-destroying-non-empty-allocator into master

Closes #120 (closed)

Edited by Alejandro Homs Puron