there has been some work done by nicolai on this. maybe this is fixed now. also, there is one instance in lua_map.cc where std::sort is used instead of std::stable_sort. I do not think that it is related to this problem, but who knows?
there has been some work done by nicolai on this. maybe this is fixed now. also, there is one instance in lua_map.cc where std::sort is used instead of std::stable_sort. I do not think that it is related to this problem, but who knows?