tree 6e8124e6acc87d6cd4f8cbba1560125c03110aff
parent f3e049967ea4905d84f6b4f2b4e70848f5851cc0
author Jonathan Kew <jfkthame@googlemail.com> 1588092649 +0000
committer Jonathan Kew <jfkthame@googlemail.com> 1588092649 +0000

Set name_mapping to NULL after freeing

To avoid risk of double-free.
    
Fixes #237.