Commit 6edaaa4d authored by Jonathan Kew's avatar Jonathan Kew

Set name_mapping to NULL after freeing

To avoid risk of double-free.
    
Fixes #237.
parent f3e04996
Pipeline #145324 passed with stage
in 6 minutes and 28 seconds