Merge pull request #1695 from martin-frbg/issue1692
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Sun, 22 Jul 2018 14:34:09 +0000 (16:34 +0200)
committerGitHub <noreply@github.com>
Sun, 22 Jul 2018 14:34:09 +0000 (16:34 +0200)
Unset memory table entry, not just the local pointer to it on shutdown

1  2 
driver/others/memory.c

Simple merge