tree 346e11a3fcefb08d0ad2164d8804d0b2b33191f3
parent 7f449da04174322564dbf79ef40a9441b9f90382
author Dieter Baron <dillo@nih.at> 1645699000 +0100
committer Dieter Baron <dillo@nih.at> 1645699000 +0100

Restore old name in name hash table after unchanging delete.

Fixes problem reported in PR #285.