From Wikipedia
Local feriados have limited reach compared with the nationwide long weekend set for October 10.
