-
Carlos Garcia Campos authored
It's a different approach to fix the same issue we had already fixed, added just to make future merge easier. We were also reallocating the tables array, I've kept that but doing it only when the size actually changes.
0feebf5f