If the skiplist is emptied, there is no need to shrink the dict in skiplist, it can be deleted directly.
Attach a file by drag & drop or click to upload