Re: ok to merge "overload resolution" label into "Symbol Resolution" label in github issues?

[Araq]

These are two different mechanisms, so IMHO it shouldn't be merged.