-
David Milligan authored
lua.mo: make a copy of long-lived strings that we give to ML backends, because lua may move strings around on us, and fix some const correctness issues --HG-- branch : lua
92f06468f132
lua.mo: make a copy of long-lived strings that we give to ML backends, because lua may move strings around on us, and fix some const correctness issues --HG-- branch : lua