Re: [PATCH 1/2] Two bug fixes in mdict_free

Tom Tromey
2025-10-23T18:50:03Z

>> I think you could just remove dict_vector::type and use
>> multidictionary::type at the single spot where dict_vector::type is
>> still used.

Simon> Btw, your change LGTM with or without my suggestion.

I made the change.

Tom