]> Nishi Git Mirror - gwion.git/commit
:bug: Clean shred on exit
authorfennecdjay <fennecdjay@gmail.com>
Sun, 3 Jul 2022 19:51:37 +0000 (21:51 +0200)
committerfennecdjay <fennecdjay@gmail.com>
Sun, 3 Jul 2022 19:51:37 +0000 (21:51 +0200)
commitb2782f74ba92c13c816aa07f0285e53c9342aee6
treed26e0467e0f8b946725d792bf5aca02a94921e8f
parent5e50ecec92a1288e8134d3de938b772dab92a0ab
:bug: Clean shred on exit
include/vm.h
src/lib/shred.c
src/vm/shreduler.c
src/vm/vm.c