O que fazem os sinos
E os tradutores
A Porto Editora (fonte única aqui desta tradutora?) afirma que dobrar, em relação aos sinos, significa que eles tocam. Pois, é verdade, mas não toda a verdade: tanto quanto sei, dobrar é em sinal de luto ou dor, ao passo que se é para festejar algum acontecimento, é repicar ou repenicar. Ou não e isto já mudou por decreto?
[Texto 20 270]