ADT.OrderedMapping() and duplicate entries

"Stephen R. van den Berg" <[email protected]> Sat, 7 Mar 2020 17:57:34 +0100

Newsgroups	gmane.comp.lang.pike.user,gmane.comp.lang.pike.devel
Message-ID	<[email protected]>

Can it be considered a bug that when you add a duplicate key to
an ADT.OrderedMapping() that it does add the key/value at the end, but
fails to delete the already present same old key (value)?

Shall I fix it?
-- 
Stephen.