Re: [PATCH v2] Remove best_symbol and better_symbol

Tom Tromey
2026-02-07T14:39:59Z

>>>>> "Tom" == Tom Tromey <tom@tromey.com> writes:

Tom> This patch removes best_symbol and better_symbol.
[...]

I'm going to check this in now.

Tom