Durante esta revolución, cabe recordar que en la "noche sangrienta" también fueron asesinados otros republicanos del 5 de octubre, entre los cuales se encontraban Machado Santos y Manuel da Maia.