julia
5e57c214 - IdDict: support deletion, and support `nothing` used as a key

Commit
7 years ago
IdDict: support deletion, and support `nothing` used as a key previously, if we deleted one key or added `nothing` as a key, we might lose some of the other entries too (until rehash) fix #26833
Author
Committer
Parents
Loading