La journée du mercredi 1er Novembre, date du déclenchement de la révolution pour l'indépendance, sera chômée et payée pour l'ensemble des personnels des institutions et administrations publiques, y compris les personnels payés à l'heure ou à la journée, a indiqué un communiqué de la direction générale de la Fonction publique et de la Réforme administrative. Les personnels exerçant en travail posté sont, toutefois, tenus d'assurer la continuité du service, a ajouté la même source