Commit 1c24a104 authored by Samuel Debionne's avatar Samuel Debionne

Merge branch '120-ctrl-c-prints-error-destroying-non-empty-allocator' into 'master'

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

Closes #120

See merge request !180
parents 7567ad55 431e6b59
Pipeline #34111 passed with stages
in 36 minutes and 6 seconds