Author: Unknown
Subject: Hashtable size
Date: Saturday, 14 Nov 2020, 14:07:45

Do we need to shrink the hash table after pruning?