El 2 de julio de 1916, la localidad cambió su denominación oficial de "El Pedroso" por la de "El Pedroso de la Armuña".