Es algo que @Vitaly está rastreando, realmente depende de cuán comunes sean estos problemas. Si es 1 de cada millón de enlaces, no vale la pena mejorar el enlazador, si es 1 de cada 10, ciertamente lo es.
4 Me gusta