-
Stefan Monnier authored
This reverts commit 122198d2. Should not be needed any more thanks to Pip Cet's patch to hash_table_rehash.
63977168
This reverts commit 122198d2. Should not be needed any more thanks to Pip Cet's patch to hash_table_rehash.