El 13 de Mayo es festivo en la localidad de Baños de La Encina, Jaén.
Así lo publicó la Junta de Andalucía en el Boletín Oficial número 245.