Roberto Ierusalimschy 19afd91687 Solving merge issue with use of tables in dump/undump ...

The use of tables in dump/undump to reuse strings did not exist in
the version that changed the representation of arrays, so it was not
corrected for the new API for tables.

2023-11-08 10:02:06 -03:00

9.4 KiB

Raw Blame History

View Raw