November 1 is a holiday?

I've just been told (by e-mail) by someone in Jerez that November 1 is a public holiday. Does anyone know what it is?

Nov 1 is All Saints Day and it is a public holiday.

Well of course! I should have thought of that myself - never think of it as a public holiday, just a day in the church calendar!

I had heard that too. Does that mean stores/museums are closed?

I should have looked further down the page. Found the answer in another thread.
(yes, closed).

Are the intercity trains on normal schedules?
A good travel day.