From: Jeremy Stanley <fungi@yuggoth.org>
Date: Thu, 9 Nov 2017 09:54:38 +0000 (+0000)
Subject: Make new-style facet deletion more robust
X-Git-Tag: 0.0.1~125
X-Git-Url: https://mudpy.org/gitweb?p=mudpy.git;a=commitdiff_plain;h=6161f58fe66ce3cbfa236625555ce54280a0dad8;hp=6161f58fe66ce3cbfa236625555ce54280a0dad8

Make new-style facet deletion more robust

When destroying a new-style Element, reuse the delete_facet method
instead of deleting keys from the origin. Within the delete_facet
method, make sure to delete the corresponding key from the facethash
too.
---