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)
commit66fcdd5be8621b532d80f9d60269eb33405794eb
tree6fd37f58984e6719fdfd64960e11f116775e07de
parent7ba5936ecdf84a234aa2817a176e9885bb9a21f7
parent43ac839c168c652e52320267b0504e6933cb9f60
Merge pull request #1695 from martin-frbg/issue1692

Unset memory table entry, not just the local pointer to it on shutdown
driver/others/memory.c