
Note that this means that civil service in Rio de Janeiro will be closed for 6 consecutive days, from November 15 to November 20, inclusively, as the 15th is a national public holiday, and the 16th was declared a public holiday for all civil servants, nationally (see our post of October 25).