Before revision: Their In 1743, Pope Clement XI and King Philip V of Spain declared October 3 as a feast day for the martyrs.
After revision: In 1743, Pope Clement XI and King Philip V of Spain declared October 3 as a feast day for the martyrs.