Re: [Trisquel-usuarios] Trisquel mini no permite cambiar de servidor

[elr]

No estamos editando manualmente. Estamos usando al herramienta gráfica,  
justo por eso he venido aquí.